PrototypeCommon
ShouqiaoW/erdos
No description.
- Owner
- ShouqiaoW (personal account)
- Stars
- Stars: 230
- Forks
- Forks: 27
- Language
- Lean
- License
- MIT
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 232LeanPrototype
- kbuzzard/xenaStars: 230LeanPrototype
- avigad/mathematics_in_lean_sourceStars: 224LeanPrototype
- cedar-policy/cedar-specStars: 220LeanPrototype
- cmu-l3/llmleanStars: 218LeanPrototype