BêtaRare
teorth/analysis
A Lean companion to Analysis I
- Propriétaire
- teorth (compte personnel)
- Étoiles
- Étoiles : 1 975
- Forks
- Forks : 276
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de teorth
Les 7 dépôts de teorth- teorth/erdosproblemsÉtoiles : 879PythonBêta
- teorth/equational_theoriesÉtoiles : 562LeanAlpha
- teorth/optimizationproblemsÉtoiles : 387PythonAlpha
- teorth/estimatesÉtoiles : 343JavaScriptAlpha
- teorth/pfrÉtoiles : 246LeanPrototype
- teorth/QEDÉtoiles : 127Prototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- openai/NavierStokesAndEulerÉtoiles : 2 120LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- google-deepmind/formal-conjecturesÉtoiles : 1 341LeanBêta
- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta