Fossy
fossy
Back to home

Lean projects

Browse, search, filter by language or platform, and sort the directory. See all languages · See all platforms.

lang: Lean
13 projects
lean4
lean4
leanprover/lean4
Lean 4 programming language and theorem prover
9.4kstars1.0kforksLean
Apache-2.0
math
math
openai/math
No description provided.
7.3kstars689forksLean
Apache-2.0
NavierStokesAndEuler
NavierStokesAndEuler
openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
2.0kstars206forksLean
Apache-2.0
fermats-last-theorem
fermats-last-theorem
anthropics/fermats-last-theorem
No description provided.
1.2kstars106forksLean
Apache-2.0
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
combinatorial-games
combinatorial-games
vihdzp/combinatorial-games
Combinatorial game library in Lean 4
112stars14forksLean
Apache-2.0
verified-3d-mesh-intersection
verified-3d-mesh-intersection
schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
107stars2forksLean
MIT
conway-refinement
conway-refinement
gaearon/conway-refinement
A proof of Conway's refinement conjecture in Lean
55stars5forksLean
Apache-2.0
Loading more projects...

Sponsored

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