A version of the natural numbers game in Coq
-
Updated
Mar 7, 2024 - Coq
#
natural-number-game
Here are 4 public repositories matching this topic...
My solutions to the natural number game
-
Updated
Jun 7, 2023
My personal solutions to the “natural number game”.
-
Updated
Jan 27, 2022 - Lean
Improve this page
Add a description, image, and links to the natural-number-game topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the natural-number-game topic, visit your repo's landing page and select "manage topics."