Fossy
fossy
Back to home·All projects
Keyword Tag

lean

Curated open-source repositories matching the tag/keyword "lean".

3 projects found
atlas-lean
atlas-lean
facebookresearch/atlas-lean
ATLAS Autoformalized Textbook Library At Scale
311stars41forksLean
NOASSERTION
talos
talos
cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning
183stars36forksLean
AGPL-3.0
PrimeGaps186
PrimeGaps186
openai/PrimeGaps186
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
165stars12forksLean
Apache-2.0

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)