I formally modeled Dreidel for no good reason
I formally modeled Dreidel for no good reason
buttondown.email
I formally modeled Dreidel for no good reason
I can mathematically prove the game's not fun.
It uses PRISM, a "probabilistic model checker", so not your typical theorem prover or SAT solver.