PrototypeCommon
vihdzp/combinatorial-games
Combinatorial game library in Lean 4
- Owner
- vihdzp (personal account)
- Stars
- Stars: 113
- Forks
- Forks: 16
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- James-Hanson/junk-theorems-in-leanStars: 114LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- optsuite/optlibStars: 113LeanPrototype
- pandaman64/lean-regexStars: 112LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype