Show HN: Minebender – Minesweeper in Bend2 with proven no-guess assist
Posted 2 hours ago by lfcc
1 points
https://github.com/luiscleto/minebenderI wanted to learn how to read and write laws in Bend and decided proving a minesweeper game would be a fun learning project.
For the interesting twist: I've always disliked how sometimes you get stuck in situations where you need to guess, like the corner 50/50s, so I added an assist mode with laws so that if you use it in a legitimate situation it clears a safe cell, if you use it when you could have deduced further you lose the game