Giters

mkyas / GoedelGod

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

GoedelGod

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

About

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

Languages

Language:Perl 63.3%Language:TeX 28.3%Language:OpenEdge ABL 4.1%Language:Isabelle 2.9%Language:Coq 1.2%Language:Shell 0.2%