PrototypeCommon
kbuzzard/xena
Lean Library currently studying for a degree at Imperial College
- Owner
- kbuzzard (personal account)
- Stars
- Stars: 230
- Forks
- Forks: 22
- Language
- Lean
- License
- None
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 232LeanPrototype
- ShouqiaoW/erdosStars: 230LeanPrototype
- avigad/mathematics_in_lean_sourceStars: 224LeanPrototype
- cedar-policy/cedar-specStars: 220LeanPrototype
- cmu-l3/llmleanStars: 218LeanPrototype