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