Rename folder of IWIL abstract
Rename folder of paper about the formalisation of Scott’s proof in Coq
Add Coq formalization of  Bruno’s proof of Theorem 1 and Annika’s direct proof of Corollary 2
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod