GitHub repository: FormalTheology/GoedelGod
Primary language: TeX
Description: Formalizations of Gödel's Ontological Proof of God's Existence