Let's Prove Random Games Are Winnable (with Formal Methods)

2 points| DanielRibeiro | 7 years ago |hillelwayne.com