Close

This Project is Dedicated to all of the Masters of DOOM and ID Software

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/18/2020 at 20:27•0 Comments

This Project is Dedicated to all of the ORIGINAL Masters of DOOM and ID Software....
Previous log

Excellent Youtube Video by John Romero on software failures caused by Number Theory within Quake's Development back in 1996.

05/17/2020 at 05:27 • 1 comment

Discussions

Yes, delete it Cancel

Going up?

About Us Contact Hackaday.io Give Feedback Terms of Use Privacy Policy Hackaday API

© 2024 Hackaday