Minebender
github.com/luiscleto/minebender- Category
- Entertainment
- Pricing
- Open Source
- Type
- GAME
- GitHub
- 5 stars
- Date
About
Minebender is a Minesweeper game written in Bend 2 with an assist button for avoiding forced guesses. If no hidden cell can be deduced as safe from the visible numbers and total mine count, the assist opens a safe cell. If a cell could have been deduced, the player loses. The rules are written as laws and proven in Bend, as a trial of law-driven development.
Tags
minesweeperbendformal-verificationpuzzlegameproofs
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.