Formally modeling dreidel, the sequel (by hwayne) — discussion

#formalmethods #math