Lean GitHub repos, page 2
142 Lean repos in the catalog, most starred first.
- Verified-zkEVM/ArkLibStars: 348LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha
- facebookresearch/atlas-leanStars: 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- NyxFoundation/nyxisStars: 318LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 316LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- konne88/functorioStars: 295LeanAlpha
- strata-org/StrataStars: 287LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha
- digama0/lean4leanStars: 269LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 262LeanAlpha
- TauCetiProject/TauCetiStars: 260LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- dwrensha/compfilesStars: 255LeanAlpha
- mit-pdos/perennialStars: 253LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- teorth/pfrStars: 246LeanPrototype
- leanprover-community/iris-leanStars: 245LeanPrototype
- Pengbinghui/pipeline-mathStars: 243LeanPrototype
- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 231LeanPrototype
- ShouqiaoW/erdosStars: 230LeanPrototype