Lean GitHub repos
142 Lean repos in the catalog, most starred first.
- openai/mathStars: 17,213LeanStable
- leanprover/lean4Stars: 9,804LeanStable
- leanprover-community/mathlib4Stars: 4,405LeanRC
- openai/NavierStokesAndEulerStars: 2,120LeanRC
- teorth/analysisStars: 1,975LeanBeta
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- google-deepmind/formal-conjecturesStars: 1,341LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta
- anthropics/fermats-last-theoremStars: 1,295LeanBeta
- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- leanprover-community/physlibStars: 817LeanBeta
- google-deepmind/superhumanStars: 806LeanBeta
- leanprover/cslibStars: 786LeanBeta
- uwdb/CosetteStars: 690LeanAlpha
- litexlang/golitexStars: 683LeanAlpha
- AndrasKovacs/smallttStars: 611LeanAlpha
- teorth/equational_theoriesStars: 562LeanAlpha
- lecopivo/SciLeanStars: 540LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 531LeanAlpha
- anthropics/formal-mathStars: 444LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 443LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
- PatrickMassot/GlimpseOfLeanStars: 427LeanAlpha
- digama0/mm0Stars: 422LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover/versoStars: 405LeanAlpha
- dselsam/certigradStars: 404LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha
- Verified-zkEVM/ArkLibStars: 348LeanAlpha