https://github.com/uncomputable/natural-number-game
Coq6
last year
Reimplementation of Natural Number Game in Coq
Apache License 2.0