leanprover-community / mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
- Repository stars
- 627All-time #53,714
- Fork
- 442
- Last push
- updated 9 days ago
- Repository created
- since 2020
About
The user home repository for the Mathematics in Lean tutorial.Summarised by AI from the README; the original prevails
Author description: The user home repository for the Mathematics in Lean tutorial.
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.