Show HN: Minebender – Minesweeper in Bend2 with proven no-guess assist (github.com)

I 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