from Hacker News

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

by DanielRibeiro on 7/1/18, 8:45 PM with 0 comments