tmoux/game-theory

Theory of impartial combinatorial games

Coq