BetaRare
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Archived: this repository is read-only
- Owner
- leanprover-community (organization)
- Stars
- Stars: 1,667
- Forks
- Forks: 291
- Language
- Lean
- License
- Apache-2.0
- Created
- 2017
- Topics
- leantheorem-provingformal-methodsformal-proofsformal-mathematicsproof-automation
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,405LeanRC
- leanprover-community/physlibStars: 817LeanBeta
- leanprover-community/mathematics_in_leanStars: 624HTMLAlpha
- leanprover-community/lean4gameStars: 575TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
- leanprover-community/batteriesStars: 428LeanAlpha
Nearby in Lean
All Lean repos- leanprover-community/mathlib4Stars: 4,405LeanRC
- openai/NavierStokesAndEulerStars: 2,120LeanRC
- teorth/analysisStars: 1,975LeanBeta
- google-deepmind/formal-conjecturesStars: 1,341LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta
- anthropics/fermats-last-theoremStars: 1,295LeanBeta