AlphaUncommon
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
- Owner
- leanprover-community (organization)
- Stars
- Stars: 625
- Forks
- Forks: 443
- Language
- HTML
- License
- Apache-2.0
- Created
- 2020
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,418LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- leanprover-community/lean4gameStars: 577TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
- leanprover-community/batteriesStars: 428LeanAlpha
Nearby in HTML
All HTML repos- thewickedkarma/blackeye-imStars: 626HTMLAlpha
- nerdyslacker/desktop-web-browsersStars: 626HTMLAlpha
- csinva/csinva.github.ioStars: 625HTMLAlpha
- jadijadi/justforfunStars: 624HTMLAlpha
- hackingmaterials/matminerStars: 624HTMLAlpha
- microlinkhq/sdkStars: 624HTMLAlpha