I was thinking of adding a category for games and puzzles in the Awesome Coq list. Some ideas:
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: Dec 01 2023 at 06:01 UTC