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