Hacker News · Show HN· lfcc·· 3 小时前AI 评分41
Minebender：用 Bend 2 编写的扫雷，带可证明的无猜测辅助
Show HN: Minebender – Minesweeper in Bend2 with proven no-guess assist
AI 导读
Minebender 是用 Bend 2 编写的扫雷游戏，带一键"无猜测辅助"：若无法从可见数字与总雷数证明任何隐藏格安全，它就打开一个安全格；若本可推断出则判负并展示该格。项目以 LAWS.bend 用平实英文和 Bend 写下法则规范，solver.bend 是辅助背后的推理引擎，PROOF.bend 则证明代码遵守每条法则。
标题与摘要由 AI 辅助生成，事实与观点以原文为准。
来源：Hacker News · Show HN · github.com
本站标题、摘要与推荐理由由 AI 辅助生成；原文版权归来源所有。