My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
-
Updated
Dec 10, 2020 - Lean
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
Add a description, image, and links to the peano topic page so that developers can more easily learn about it.
To associate your repository with the peano topic, visit your repo's landing page and select "manage topics."