Worth installing
4k
leanprover-community/mathlib4
The math library of Lean 4
—
—
Explore 7 GitHub repositories written in Lean. Discover top-starred projects and those trending this week.
The math library of Lean 4
Lean certificates accompanying Navier-Stokes and Euler results
No description.
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Formally verified polygon intersection
The math library of Lean 4
Lean certificates accompanying Navier-Stokes and Euler results
No description.
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Formally verified polygon intersection