Formalizations of Gödel's Ontological Proof of God's Existence

The paper with some explanation about the proof is here: <a href="http://arxiv.org/pdf/1308.4526v4.pdf" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1308.4526v4.pdf</a>