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

The paper with some explanation about the proof is here: http://arxiv.org/pdf/1308.4526v4.pdf