Show HN: Minebender – Minesweeper in Bend2 with proven no-guess assist

Category: other

Tags: minesweeper, formal-verification, bend, game, proofs

Score: 5.8/10 (Innovation: 7, Technical: 7, Documentation: 5, Utility: 4)

Minebender is a Minesweeper implementation written in Bend 2 that includes a no-guess assist feature, backed by formal proofs of correctness. It demonstrates law-driven development where the game's behavior is verified against a formal specification, making it an interesting experiment in verified game logic.

Target audience: formal methods enthusiasts, game developers, programming language researchers

Repository: https://github.com/luiscleto/minebender · Shell · MIT · 3 stars

View on Hacker News