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