Stream: Miscellaneous

Topic: Games and puzzles

Karl Palmskog (Dec 28 2022 at 10:33):

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?

Karl Palmskog (Dec 28 2022 at 10:41):

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

Karl Palmskog (Dec 28 2022 at 13:53):

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

Karl Palmskog (Jan 04 2023 at 20:57):

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

Last updated: Dec 01 2023 at 06:01 UTC