mkyas / GoedelGod

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

Geek Repo

Github PK Tool