https://github.com/FormalTheology/GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence
https://github.com/FormalTheology/GoedelGod

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/FormalTheology/GoedelGod
• Owner: FormalTheology
• Created: 2013-07-17T06:34:39.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2019-01-13T08:29:40.000Z (almost 6 years ago)
• Last Synced: 2024-07-29T07:33:59.776Z (4 months ago)
• Language: TeX
• Size: 435 MB
• Stars: 435
• Watchers: 64
• Forks: 37
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project