T4

t4ccer/misere-games

Formalization of Misère Combinatorial Game Theory

cgt combinatorial-game-theory formalization lean lean4

No README found.

Languages

Lean100.0%

Contributors

Apache License 2.0

Created September 15, 2025

Updated March 12, 2026

t4ccer/misere-games | GitHunt