RCEpic
leanprover-community/mathlib4
The math library of Lean 4
- Owner
- leanprover-community (organization)
- Stars
- Stars: 4,405
- Forks
- Forks: 1,814
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib3Stars: 1,667LeanBeta
- 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- openai/mathStars: 17,213LeanStable
- leanprover/lean4Stars: 9,820LeanStable
- openai/NavierStokesAndEulerStars: 2,120LeanRC
- teorth/analysisStars: 1,975LeanBeta
- leanprover-community/mathlib3Stars: 1,667LeanBeta