Can You Use Formal Verification on a TableTop Game? | Hacker News Reader