# Dépôts Lean, page 2 [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 2 sur 5 ## Dépôts Lean, page 2 142 dépôts Lean au catalogue, du plus étoilé au moins étoilé. - [Verified-zkEVM/ArkLib · ★ 348 · Lean · Alpha](https://repo.masters-masters.com/repos/Verified-zkEVM/ArkLib) - [Kha/electrolysis · ★ 340 · Lean · Alpha](https://repo.masters-masters.com/repos/Kha/electrolysis) - [math-inc/strongpnt · ★ 327 · Lean · Alpha](https://repo.masters-masters.com/repos/math-inc/strongpnt) - [facebookresearch/atlas-lean · ★ 327 · Lean · Alpha](https://repo.masters-masters.com/repos/facebookresearch/atlas-lean) - [google-deepmind/alphaproof-nexus-results · ★ 322 · Lean · Alpha](https://repo.masters-masters.com/repos/google-deepmind/alphaproof-nexus-results) - [NyxFoundation/nyxis · ★ 318 · Lean · Alpha](https://repo.masters-masters.com/repos/NyxFoundation/nyxis) - [ImperialCollegeLondon/formalising-mathematics · ★ 317 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics) - [leanprover-community/lean4-metaprogramming-book · ★ 316 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover-community/lean4-metaprogramming-book) - [ufmg-smite/lean-smt · ★ 315 · Lean · Alpha](https://repo.masters-masters.com/repos/ufmg-smite/lean-smt) - [ImperialCollegeLondon/natural\_number\_game · ★ 305 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/natural_number_game) - [FormalizedFormalLogic/Foundation · ★ 296 · Lean · Alpha](https://repo.masters-masters.com/repos/FormalizedFormalLogic/Foundation) - [konne88/functorio · ★ 295 · Lean · Alpha](https://repo.masters-masters.com/repos/konne88/functorio) - [strata-org/Strata · ★ 287 · Lean · Alpha](https://repo.masters-masters.com/repos/strata-org/Strata) - [leanprover/theorem\_proving\_in\_lean4 · ★ 286 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover/theorem_proving_in_lean4) - [opencompl/lean-mlir · ★ 273 · Lean · Alpha](https://repo.masters-masters.com/repos/opencompl/lean-mlir) - [trishullab/PutnamBench · ★ 270 · Lean · Alpha](https://repo.masters-masters.com/repos/trishullab/PutnamBench) - [digama0/lean4lean · ★ 269 · Lean · Alpha](https://repo.masters-masters.com/repos/digama0/lean4lean) - [tristanbuckmaster/fluid\_lean · ★ 267 · Lean · Alpha](https://repo.masters-masters.com/repos/tristanbuckmaster/fluid_lean) - [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 262 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2024) - [TauCetiProject/TauCeti · ★ 260 · Lean · Alpha](https://repo.masters-masters.com/repos/TauCetiProject/TauCeti) - [leanprover-community/lean-liquid · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover-community/lean-liquid) - [dwrensha/compfiles · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/repos/dwrensha/compfiles) - [mit-pdos/perennial · ★ 253 · Lean · Alpha](https://repo.masters-masters.com/repos/mit-pdos/perennial) - [leanprover/comparator · ★ 247 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/comparator) - [teorth/pfr · ★ 246 · Lean · Prototype](https://repo.masters-masters.com/repos/teorth/pfr) - [leanprover-community/iris-lean · ★ 245 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/iris-lean) - [Pengbinghui/pipeline-math · ★ 243 · Lean · Prototype](https://repo.masters-masters.com/repos/Pengbinghui/pipeline-math) - [leanprover-community/repl · ★ 237 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/repl) - [leanprover-community/ProofWidgets4 · ★ 231 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/ProofWidgets4) - [ShouqiaoW/erdos · ★ 230 · Lean · Prototype](https://repo.masters-masters.com/repos/ShouqiaoW/erdos) ## Page 2 sur 5 - [Page précédente](https://repo.masters-masters.com/languages/lean) - [Page suivante](https://repo.masters-masters.com/languages/lean?page=3) --- Données : GitHub