Add Kripke style Algebra of Concepts and proof, cleanup - Githubissues

FormalTheology / GoedelGod

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

437 stars 37 forks source link

Add Kripke style Algebra of Concepts and proof, cleanup #12

Closed StreitDa closed 8 years ago

ceilican commented 8 years ago

Thanks!