natural-number-game
Reimplementation of Natural Number Game in Coq
6 stars
1 watching
0 forks
Language: Coq
last commit: almost 2 years ago
Linked from 1 awesome list
coqgameleanlogicsolutionstheorem-prover
Reimplementation of Natural Number Game in Coq