Add labels/names to boxes and add rules for the diamond operator
Add empty slides for the criticism section
Add GodComputer image
Add first draft of ND section
Surround derivation by box
Improve titles and derivation of T1
Add source image of boxed derivation
Add Coq slide
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod