Lean GitHub repos, page 3
142 Lean repos in the catalog, most starred first.
- kbuzzard/xenaStars: 229LeanPrototype
- avigad/mathematics_in_lean_sourceStars: 223LeanPrototype
- cedar-policy/cedar-specStars: 220LeanPrototype
- openai/ten-proofsStars: 217LeanPrototype
- cmu-l3/llmleanStars: 216LeanPrototype
- Verified-zkEVM/cleanStars: 207LeanPrototype
- leanprover/fp-leanStars: 204LeanPrototype
- openai/lean-gymStars: 201LeanPrototype
- leanprover-community/lean-autoStars: 195LeanPrototype
- lean-ja/lean-by-exampleStars: 193LeanPrototype
- lean-dojo/TorchLeanStars: 192LeanPrototype
- cajal-technologies/talosStars: 191LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanEthereum/leanVMStars: 178LeanPrototype
- leanprover/doc-gen4Stars: 177LeanPrototype
- lean-forward/logical_verification_2025Stars: 172LeanPrototype
- formalabstracts/formalabstractsStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- Verified-zkEVM/VCVioStars: 168LeanPrototype
- verse-lab/loomStars: 167LeanPrototype
- Verilean/sparkleStars: 166LeanPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
- nomeata/loogleStars: 160LeanPrototype
- AxiomMath/CFSGStars: 154LeanPrototype
- lfglabs-dev/verityStars: 152LeanPrototype
- josevalim/lynxStars: 152LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype
- argumentcomputer/yatimaStars: 148LeanPrototype
- kmill/lean4-raytracerStars: 147LeanPrototype