Let's Prove Random Games Are Winnable (with Formal Methods) | Hacker News Reader