# Dépôts Lean, page 4 [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Lean](https://repo.masters-masters.com/languages/lean) Les 142 dépôts Lean open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. Page 4 sur 5 ## Dépôts Lean, page 4 142 dépôts Lean au catalogue, du plus étoilé au moins étoilé. - [Timeroot/Lean-QuantumInfo · ★ 146 · Lean · Prototype](https://repo.masters-masters.com/repos/Timeroot/Lean-QuantumInfo) - [loganrjmurphy/LeanEuclid · ★ 145 · Lean · Prototype](https://repo.masters-masters.com/repos/loganrjmurphy/LeanEuclid) - [LeanPool/lean-pool · ★ 144 · Lean · Prototype](https://repo.masters-masters.com/repos/LeanPool/lean-pool) - [ndrwnaguib/principia · ★ 143 · Lean · Prototype](https://repo.masters-masters.com/repos/ndrwnaguib/principia) - [chasenorman/CanonicalLean · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/chasenorman/CanonicalLean) - [YuanheZ/lean-stat-learning-theory · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/YuanheZ/lean-stat-learning-theory) - [kim-em/lean-zip · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/kim-em/lean-zip) - [leanprover/con-leche · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/con-leche) - [b-mehta/formalising-mathematics-notes · ★ 140 · Lean · Prototype](https://repo.masters-masters.com/repos/b-mehta/formalising-mathematics-notes) - [goedelcodeprover/Goedel-Code-Prover · ★ 138 · Lean · Prototype](https://repo.masters-masters.com/repos/goedelcodeprover/Goedel-Code-Prover) - [leanprover/reference-manual · ★ 137 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/reference-manual) - [openai/cdc-lean · ★ 136 · Lean · Prototype](https://repo.masters-masters.com/repos/openai/cdc-lean) - [jesse-michael-han/lean-gptf · ★ 135 · Lean · Prototype](https://repo.masters-masters.com/repos/jesse-michael-han/lean-gptf) - [eric-wieser/lean-matrix-cookbook · ★ 135 · Lean · Prototype](https://repo.masters-masters.com/repos/eric-wieser/lean-matrix-cookbook) - [opencompl/veir · ★ 134 · Lean · Prototype](https://repo.masters-masters.com/repos/opencompl/veir) - [verse-lab/velvet · ★ 134 · Lean · Prototype](https://repo.masters-masters.com/repos/verse-lab/velvet) - [leanprover-community/lean-perfectoid-spaces · ★ 133 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/lean-perfectoid-spaces) - [frenzymath/jixia · ★ 131 · Lean · Prototype](https://repo.masters-masters.com/repos/frenzymath/jixia) - [sdiehl/zero-to-qed · ★ 128 · Lean · Prototype](https://repo.masters-masters.com/repos/sdiehl/zero-to-qed) - [zhangir-azerbayev/ProofNet · ★ 127 · Lean · Prototype](https://repo.masters-masters.com/repos/zhangir-azerbayev/ProofNet) - [leanprover/lean4-cli · ★ 125 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/lean4-cli) - [siddhartha-gadgil/LeanAide · ★ 125 · Lean · Prototype](https://repo.masters-masters.com/repos/siddhartha-gadgil/LeanAide) - [oftenjames/romulus · ★ 124 · Lean · Prototype](https://repo.masters-masters.com/repos/oftenjames/romulus) - [blanchette/logical\_verification\_2023 · ★ 122 · Lean · Prototype](https://repo.masters-masters.com/repos/blanchette/logical_verification_2023) - [emilyriehl/infinity-cosmos · ★ 122 · Lean · Prototype](https://repo.masters-masters.com/repos/emilyriehl/infinity-cosmos) - [ImperialCollegeLondon/formalising-mathematics-2022 · ★ 121 · Lean · Prototype](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2022) - [TwoFX/sudoku · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/TwoFX/sudoku) - [avigad/lamr · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/avigad/lamr) - [rami3l/PLFaLean · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/rami3l/PLFaLean) - [google-deepmind/debate · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/google-deepmind/debate) ## Page 4 sur 5 - [Page précédente](https://repo.masters-masters.com/languages/lean?page=3) - [Page suivante](https://repo.masters-masters.com/languages/lean?page=5) --- Données : GitHub