Lean GitHub repos, page 4
142 Lean repos in the catalog, most starred first.
- Timeroot/Lean-QuantumInfoStars: 146LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype
- LeanPool/lean-poolStars: 144LeanPrototype
- ndrwnaguib/principiaStars: 143LeanPrototype
- chasenorman/CanonicalLeanStars: 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype
- kim-em/lean-zipStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype
- b-mehta/formalising-mathematics-notesStars: 140LeanPrototype
- goedelcodeprover/Goedel-Code-ProverStars: 138LeanPrototype
- leanprover/reference-manualStars: 137LeanPrototype
- openai/cdc-leanStars: 136LeanPrototype
- jesse-michael-han/lean-gptfStars: 135LeanPrototype
- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- opencompl/veirStars: 134LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 133LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype
- leanprover/lean4-cliStars: 125LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
- oftenjames/romulusStars: 124LeanPrototype
- blanchette/logical_verification_2023Stars: 122LeanPrototype
- emilyriehl/infinity-cosmosStars: 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Stars: 121LeanPrototype
- TwoFX/sudokuStars: 120LeanPrototype
- avigad/lamrStars: 120LeanPrototype
- rami3l/PLFaLeanStars: 120LeanPrototype
- google-deepmind/debateStars: 120LeanPrototype