Stream: Miscellaneous

Topic: Games and puzzles


view this post on Zulip 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:

Anything else obvious?

view this post on Zulip 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

view this post on Zulip Karl Palmskog (Dec 28 2022 at 13:53):

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

view this post on Zulip Karl Palmskog (Jan 04 2023 at 20:57):

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


Last updated: Mar 29 2024 at 04:02 UTC