PrototypeCommon
avigad/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
- Owner
- avigad (personal account)
- Stars
- Stars: 223
- Forks
- Forks: 115
- Language
- Lean
- License
- Apache-2.0
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by avigad
All 2 repos by avigad- avigad/lamrStars: 120LeanPrototype
Nearby in Lean
All Lean repos- leanprover-community/ProofWidgets4Stars: 231LeanPrototype
- ShouqiaoW/erdosStars: 230LeanPrototype
- kbuzzard/xenaStars: 229LeanPrototype
- cedar-policy/cedar-specStars: 220LeanPrototype
- openai/ten-proofsStars: 217LeanPrototype
- cmu-l3/llmleanStars: 216LeanPrototype