Close

Excellent Youtube video on DOOM Monster AI

A project log for DOOM SOURCE CODE - SOFTWARE ARCHAEOLOGY- ISABELLE

Doom Video Game Source code being analyzed by the Isabelle HOL automated theorem prover. This is done to help develop an on-line course on

david-blubaughDavid Blubaugh 05/11/2020 at 08:400 Comments

Excellent Youtube video on DOOM Monster AI

Please watch ............

https://www.youtube.com/watch?v=f3O9P9x1eCE

Discussions