AlphaUncommon
FormalTheology/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
- Owner
- FormalTheology (organization)
- Stars
- Stars: 476
- Forks
- Forks: 40
- Language
- TeX
- License
- None
- Created
- 2013
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in TeX
All TeX repos- poldrack/psych10-bookStars: 483TeXAlpha
- scunning1975/mixtapeStars: 482TeXAlpha
- mcnees/LaTeX-Graph-PaperStars: 481TeXAlpha
- VincentGranville/Large-Language-ModelsStars: 475TeXAlpha
- appautomaton/latex-arxiv-SKILLStars: 475TeXAlpha
- MAVProxyUser/YushuTechUnitreeGo1Stars: 473TeXAlpha