Add first draft of paper about Coq formalisation
Move theorem from ModalClassical to Modal, because classical logic is actually not needed for proving it
Ignore one more folder.
Add questions of the upcoming ORF interview
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod