minebender
A browser Minesweeper game written in Bend 2, with a no-guess assist button. Its game logic and deduction engine are implemented in Bend; the repository includes laws and proof files for the game rules.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/minebender ↗GitHubhttps://github.com/luiscleto/minebender/blob/master/README.md ↗GitHubhttps://github.com/luiscleto/minebender/blob/master/game.bend ↗