← All projects
jev-mine-sweeping
sxinyuhoo/jev-mine-sweeping MIT Python Other
rank#259
用 TypeSafe Jev（System One）驱动扫雷自动通关：HTML 扫雷页每走一步实时问模型，并把它的选项、概率、代码已证明的事实全部可视化。Play Minesweeper with TypeSafe Jev (System One): an HTML game that asks the model every move and visualises its options, probabilities and the facts the code proved.
- Stars
- 1
- Forks
- 0
- Open issues
- 0
- Last push
- yesterday
Star history starts building from the first daily refresh.