Beneficial-AI-Foundation/FloatSpec — Instructions

21Stars on the repository

2Mods indexed here, across every type

11d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

FloatSpec AGENTS.md

Instructions file CodexOpenCode

Instructions for Beneficial-AI-Foundation/FloatSpec, a project described as: Formally Verified Float Implementation with lean4.

not rated 21 +1 11d ago A 4 tokens copy · 100% Apache-2.0

FloatSpec CLAUDE.md

Beneficial-AI-Foundation/FloatSpec

Instructions file

Instructions for Beneficial-AI-Foundation/FloatSpec, covering floatspec project overview, important: "keep going" context, general programming philosophy, project structure and development commands.

not rated 21 +1 11d ago A 7,737 tokens original Apache-2.0