Top Lean repositories on GitHub
lean4
leanprover
โLean 4 programming language and theorem proverโ
mathlib4
leanprover-community
โThe math library of Lean 4โ
analysis
teorth
โA Lean companion to Analysis Iโ
mathlib3
โLean 3's obsolete mathematical components library: please use mathlib4โ
formal-conjectures
google-deepmind
โA collection of formalized statements of conjectures in Lean.โ
FLT
ImperialCollegeLondon
โOngoing Lean formalisation of the proof of Fermat's Last Theoremโ
superhuman
Cosette
uwdb
โCosette is an automated SQL solver.โ
physlib
โA project to digitalise results from physics into Lean.โ
cslib
โThe Lean Computer Science Library (CSLib)โ
smalltt
AndrasKovacs
โDemo for high-performance type theory elaborationโ
equational_theories
โA project to map out the relations between different equational theories of Magmas.โ
SciLean
lecopivo
โScientific computing in Lean 4โ
Seed-Prover
ByteDance-Seed
certigrad
dselsam
โBug-free machine learning on stochastic computation graphsโ
mm0
digama0
โMetamath Zero specification languageโ
batteries
โThe "batteries included" extended library for the Lean programming language and theorem proverโ
GlimpseOfLean
PatrickMassot
โAn introduction to theorem proving in Lean for the impatient.โ