combinatorial-games

vihdzp/combinatorial-games

Combinatorial game library in Lean 4

Recommended by
1
GitHub stars
113
Licence
Apache-2.0
Language
Lean
Last commit
28 Oct 2026

What people said

  • “I'm a little tired from the project so not eager to jump back into it right away. But yes, I'd love for useful pieces to make their way into. Violeta, who maintains CG, expressed interest in ultimately integrating the proof in some s…”

Not software, abandoned or listed by mistake? Report this listing