BêtaRare
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 1 667
- Forks
- Forks : 291
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- leantheorem-provingformal-methodsformal-proofsformal-mathematicsproof-automation
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- openai/NavierStokesAndEulerÉtoiles : 2 120LeanRC
- teorth/analysisÉtoiles : 1 975LeanBê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