Lean GitHub repos, page 5
142 Lean repos in the catalog, most starred first.
- leanprover/LNSymStars: 120LeanPrototype
- leanprover-community/duperStars: 119LeanPrototype
- leanprover-community/plausibleStars: 118LeanPrototype
- sunblaze-ucb/veroStars: 116LeanPrototype
- fpvandoorn/carlesonStars: 114LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- vihdzp/combinatorial-gamesStars: 113LeanPrototype
- James-Hanson/junk-theorems-in-leanStars: 113LeanPrototype
- optsuite/optlibStars: 112LeanPrototype
- pandaman64/lean-regexStars: 112LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype
- NethermindEth/LeanCILStars: 108LeanPrototype
- leanprover/SampCertStars: 106LeanPrototype
- yuma-mizuno/lean-math-workshopStars: 105LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- leanprover/lakeStars: 101LeanPrototype
- NethermindEth/EVMYulLeanStars: 101LeanPrototype
- JOSHCLUNE/LeanHammerStars: 100LeanPrototype