Post #2606976
2026-04-06 13:37 UTC
and this time I got nerdsniped into making a minesweeper game in Rocq (with proofs about the game logic and interactions!): https://github.com/joom/rocqsweeper
Replies (1)
-
@joomy@functional.cafe 2026-04-14 10:53
I discovered that my wife was a big fan of minesweeper so I'm continuing with my wife's favorites: Reversi / Othello this time. (I'm terrible at playing it but she's very good, she beats me every time.) https://github.com/joom/reversirocq for the game AI, I used the coinductive game tree unfolding described in my CPP '26 paper (though an alpha-beta pruned version): https://dl.acm.org/doi/10.1145/3779031.3779091