BetaRare
teorth/analysis
A Lean companion to Analysis I
- Owner
- teorth (personal account)
- Stars
- Stars: 1,979
- Forks
- Forks: 276
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by teorth
All 7 repos by teorth- teorth/erdosproblemsStars: 879PythonBeta
- teorth/equational_theoriesStars: 563LeanAlpha
- teorth/optimizationproblemsStars: 387PythonAlpha
- teorth/estimatesStars: 343JavaScriptAlpha
- teorth/pfrStars: 246LeanPrototype
- teorth/QEDStars: 127Prototype
Nearby in Lean
All Lean repos- leanprover/lean4Stars: 9,820LeanStable
- leanprover-community/mathlib4Stars: 4,414LeanRC
- openai/NavierStokesAndEulerStars: 2,119LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- google-deepmind/formal-conjecturesStars: 1,343LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta