Dépôts Lean
142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.
- openai/mathÉtoiles : 17 213LeanStable
- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- openai/NavierStokesAndEulerÉtoiles : 2 120LeanRC
- teorth/analysisÉtoiles : 1 975LeanBêta
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- google-deepmind/formal-conjecturesÉtoiles : 1 341LeanBêta
- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta
- anthropics/fermats-last-theoremÉtoiles : 1 295LeanBêta
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- google-deepmind/superhumanÉtoiles : 806LeanBêta
- leanprover/cslibÉtoiles : 786LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 683LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- teorth/equational_theoriesÉtoiles : 562LeanAlpha
- lecopivo/SciLeanÉtoiles : 540LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 531LeanAlpha
- anthropics/formal-mathÉtoiles : 444LeanAlpha
- ByteDance-Seed/Seed-ProverÉtoiles : 443LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- PatrickMassot/GlimpseOfLeanÉtoiles : 427LeanAlpha
- digama0/mm0Étoiles : 422LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- dselsam/certigradÉtoiles : 404LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha
- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha