Formalizations of Gödel's Ontological Proof of God's Existencegithub.com/FormalTheology1 pointneur0mancer13 years ago