David Blubaugh-
1Instructions use in the development... I do plan to have youtube videos on the subject.
In Development ASAP
-
2Step 2
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
Discussions
Become a Hackaday.io Member
Create an account to leave a comment. Already have an account? Log In.