# Dépôts Lean, page 3 [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 3 sur 5 ## Dépôts Lean, page 3 142 dépôts Lean au catalogue, du plus étoilé au moins étoilé. - [kbuzzard/xena · ★ 229 · Lean · Prototype](https://repo.masters-masters.com/repos/kbuzzard/xena) - [avigad/mathematics\_in\_lean\_source · ★ 223 · Lean · Prototype](https://repo.masters-masters.com/repos/avigad/mathematics_in_lean_source) - [cedar-policy/cedar-spec · ★ 220 · Lean · Prototype](https://repo.masters-masters.com/repos/cedar-policy/cedar-spec) - [openai/ten-proofs · ★ 217 · Lean · Prototype](https://repo.masters-masters.com/repos/openai/ten-proofs) - [cmu-l3/llmlean · ★ 216 · Lean · Prototype](https://repo.masters-masters.com/repos/cmu-l3/llmlean) - [Verified-zkEVM/clean · ★ 207 · Lean · Prototype](https://repo.masters-masters.com/repos/Verified-zkEVM/clean) - [leanprover/fp-lean · ★ 204 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/fp-lean) - [openai/lean-gym · ★ 201 · Lean · Prototype](https://repo.masters-masters.com/repos/openai/lean-gym) - [leanprover-community/lean-auto · ★ 195 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/lean-auto) - [lean-ja/lean-by-example · ★ 193 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-ja/lean-by-example) - [lean-dojo/TorchLean · ★ 192 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-dojo/TorchLean) - [cajal-technologies/talos · ★ 191 · Lean · Prototype](https://repo.masters-masters.com/repos/cajal-technologies/talos) - [leanprover-community/tutorials · ★ 183 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/tutorials) - [leanEthereum/leanVM · ★ 178 · Lean · Prototype](https://repo.masters-masters.com/repos/leanEthereum/leanVM) - [leanprover/doc-gen4 · ★ 177 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/doc-gen4) - [lean-forward/logical\_verification\_2025 · ★ 172 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-forward/logical_verification_2025) - [formalabstracts/formalabstracts · ★ 170 · Lean · Prototype](https://repo.masters-masters.com/repos/formalabstracts/formalabstracts) - [openai/PrimeGaps186 · ★ 169 · Lean · Prototype](https://repo.masters-masters.com/repos/openai/PrimeGaps186) - [Verified-zkEVM/VCVio · ★ 168 · Lean · Prototype](https://repo.masters-masters.com/repos/Verified-zkEVM/VCVio) - [verse-lab/loom · ★ 167 · Lean · Prototype](https://repo.masters-masters.com/repos/verse-lab/loom) - [Verilean/sparkle · ★ 166 · Lean · Prototype](https://repo.masters-masters.com/repos/Verilean/sparkle) - [ImperialCollegeLondon/M40001\_lean · ★ 165 · Lean · Prototype](https://repo.masters-masters.com/repos/ImperialCollegeLondon/M40001_lean) - [PatrickMassot/verbose-lean4 · ★ 163 · Lean · Prototype](https://repo.masters-masters.com/repos/PatrickMassot/verbose-lean4) - [nomeata/loogle · ★ 160 · Lean · Prototype](https://repo.masters-masters.com/repos/nomeata/loogle) - [AxiomMath/CFSG · ★ 154 · Lean · Prototype](https://repo.masters-masters.com/repos/AxiomMath/CFSG) - [lfglabs-dev/verity · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/repos/lfglabs-dev/verity) - [josevalim/lynx · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/repos/josevalim/lynx) - [flypitch/flypitch · ★ 150 · Lean · Prototype](https://repo.masters-masters.com/repos/flypitch/flypitch) - [argumentcomputer/yatima · ★ 148 · Lean · Prototype](https://repo.masters-masters.com/repos/argumentcomputer/yatima) - [kmill/lean4-raytracer · ★ 147 · Lean · Prototype](https://repo.masters-masters.com/repos/kmill/lean4-raytracer) ## Page 3 sur 5 - [Page précédente](https://repo.masters-masters.com/languages/lean?page=2) - [Page suivante](https://repo.masters-masters.com/languages/lean?page=4) --- Données : GitHub