PrototypeCommune
vihdzp/combinatorial-games
Combinatorial game library in Lean 4
- Propriétaire
- vihdzp (compte personnel)
- Étoiles
- Étoiles : 113
- Forks
- Forks : 16
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- fpvandoorn/carlesonÉtoiles : 114LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- James-Hanson/junk-theorems-in-leanÉtoiles : 113LeanPrototype
- optsuite/optlibÉtoiles : 112LeanPrototype
- pandaman64/lean-regexÉtoiles : 112LeanPrototype
- leanprover-community/quote4Étoiles : 111LeanPrototype