A Lean 4 formalization of the Stacks Project, the open-source algebraic geometry reference, built on Mathlib with machine-checked proofs.
123+19 this week26LeanApache-2.0Updated yesterday
Language
Best open-source Lean projects
Open-source projects written in Lean, ranked by stars with AI summaries and license info.
Sort:Recently added
4 repositories
Formally verified Ethereum primitives written in Lean, meant as a shared library of specifications and proofs for Lean projects.
85+6 this week22LeanCC0-1.0Well maintainedUpdated 4 hours ago
A Lean 4 framework for machine-checked proofs of correctness and memory safety against compiled .NET CIL from C#, F#, and other .NET languages.
114+10 this week3LeanOtherUpdated 9 hours ago
A Lean 4 framework for specifying, executing, and formally verifying neural networks, with shape-checked tensors and PyTorch-style training.
206+14 this week25LeanMITWell maintainedUpdated 10 days ago