Natural Number Game (via mikejsavage) — discussion

#formalmethods #games