1. 15
    Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds slides video formalmethods games youtube.com
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments