Lenzen: Non-modal version of the proof

FormalTheology / GoedelGod

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

437 stars 37 forks source link

Closed StreitDa closed 8 years ago

StreitDa commented 8 years ago

Adds first draft of Isabelle formalization of Lenzens Paper on Leibniz L2 logic

ceilican commented 8 years ago

Thanks!