https://github.com/densinh/natural-numbers-game

A version of the natural numbers game in Coq
https://github.com/densinh/natural-numbers-game

coq coq-formalization natural-number-game

Last synced: about 2 months ago
JSON representation

A version of the natural numbers game in Coq

• Host: GitHub
• URL: https://github.com/densinh/natural-numbers-game
• Owner: DenSinH
• Created: 2023-02-25T13:13:51.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2024-03-07T11:14:38.000Z (11 months ago)
• Last Synced: 2024-12-24T22:10:01.798Z (about 2 months ago)
• Topics: coq, coq-formalization, natural-number-game
• Language: Coq
• Homepage: https://nng.dennishilhorst.nl/
• Size: 402 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Natural Numbers Game

A version of the [natural numbers game](https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/) in Coq.

Play the game [here](https://nng.dennishilhorst.nl).