I was thinking of adding a category for games and puzzles in the Awesome Coq list. Some ideas:

- https://github.com/coq-community/sudoku
- https://github.com/coq-community/coqoban and its jsCoq version
- https://github.com/thery/hanoi
- https://github.com/codyroux/name-the-biggest-number
- https://github.com/thery/T2048
- https://github.com/thery/minirubik

Anything else obvious?

someone apparently did Lean's natural number game in Coq: https://github.com/uncomputable/natural-number-game

which reminds me, we should definitely reference the jsCoq version in the Coqoban repo...

https://github.com/coq-community/awesome-coq#puzzles-and-games

Last updated: Jun 05 2023 at 10:01 UTC