# Dépôts Lean

<https://repo.masters-masters.com/languages/lean>

[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.

## Dépôts Lean

142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.

- [openai/math · ★ 17 213 · Lean · Stable](https://repo.masters-masters.com/repos/openai/math)
- [leanprover/lean4 · ★ 9 804 · Lean · Stable](https://repo.masters-masters.com/repos/leanprover/lean4)
- [leanprover-community/mathlib4 · ★ 4 405 · Lean · RC](https://repo.masters-masters.com/repos/leanprover-community/mathlib4)
- [openai/NavierStokesAndEuler · ★ 2 120 · Lean · RC](https://repo.masters-masters.com/repos/openai/NavierStokesAndEuler)
- [teorth/analysis · ★ 1 975 · Lean · Bêta](https://repo.masters-masters.com/repos/teorth/analysis)
- [leanprover-community/mathlib3 · ★ 1 667 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover-community/mathlib3)
- [google-deepmind/formal-conjectures · ★ 1 341 · Lean · Bêta](https://repo.masters-masters.com/repos/google-deepmind/formal-conjectures)
- [longfellow-zk/longfellow-zk · ★ 1 328 · Lean · Bêta](https://repo.masters-masters.com/repos/longfellow-zk/longfellow-zk)
- [anthropics/fermats-last-theorem · ★ 1 295 · Lean · Bêta](https://repo.masters-masters.com/repos/anthropics/fermats-last-theorem)
- [ImperialCollegeLondon/FLT · ★ 1 056 · Lean · Bêta](https://repo.masters-masters.com/repos/ImperialCollegeLondon/FLT)
- [leanprover-community/physlib · ★ 817 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover-community/physlib)
- [google-deepmind/superhuman · ★ 806 · Lean · Bêta](https://repo.masters-masters.com/repos/google-deepmind/superhuman)
- [leanprover/cslib · ★ 786 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover/cslib)
- [uwdb/Cosette · ★ 690 · Lean · Alpha](https://repo.masters-masters.com/repos/uwdb/Cosette)
- [litexlang/golitex · ★ 683 · Lean · Alpha](https://repo.masters-masters.com/repos/litexlang/golitex)
- [AndrasKovacs/smalltt · ★ 611 · Lean · Alpha](https://repo.masters-masters.com/repos/AndrasKovacs/smalltt)
- [teorth/equational\_theories · ★ 562 · Lean · Alpha](https://repo.masters-masters.com/repos/teorth/equational_theories)
- [lecopivo/SciLean · ★ 540 · Lean · Alpha](https://repo.masters-masters.com/repos/lecopivo/SciLean)
- [jinshanmu/CrouzeixConjecture · ★ 531 · Lean · Alpha](https://repo.masters-masters.com/repos/jinshanmu/CrouzeixConjecture)
- [anthropics/formal-math · ★ 444 · Lean · Alpha](https://repo.masters-masters.com/repos/anthropics/formal-math)
- [ByteDance-Seed/Seed-Prover · ★ 443 · Lean · Alpha](https://repo.masters-masters.com/repos/ByteDance-Seed/Seed-Prover)
- [leanprover-community/batteries · ★ 428 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover-community/batteries)
- [PatrickMassot/GlimpseOfLean · ★ 427 · Lean · Alpha](https://repo.masters-masters.com/repos/PatrickMassot/GlimpseOfLean)
- [digama0/mm0 · ★ 422 · Lean · Alpha](https://repo.masters-masters.com/repos/digama0/mm0)
- [leanprover-community/aesop · ★ 413 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover-community/aesop)
- [leanprover/verso · ★ 405 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover/verso)
- [dselsam/certigrad · ★ 404 · Lean · Alpha](https://repo.masters-masters.com/repos/dselsam/certigrad)
- [leanprover-community/NNG4 · ★ 387 · Lean · Alpha](https://repo.masters-masters.com/repos/leanprover-community/NNG4)
- [AlexKontorovich/PrimeNumberTheoremAnd · ★ 351 · Lean · Alpha](https://repo.masters-masters.com/repos/AlexKontorovich/PrimeNumberTheoremAnd)
- [Verified-zkEVM/ArkLib · ★ 348 · Lean · Alpha](https://repo.masters-masters.com/repos/Verified-zkEVM/ArkLib)

## Page 1 sur 5

- [Page suivante](https://repo.masters-masters.com/languages/lean?page=2)

---
Données : GitHub