jev-mine-sweeping

用 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.

Unverified: category confidence 0.49; publishing needs more than 0.60. all unverified

• Project ↗︎
• Repository ↗︎
• Found at ↗︎

Author

sxinyuhoo

Category

demo

Primitives

unknown

Source

github

Classified by jev-1.13.0. Description taken from the source, not generated.