# FormalTheology/GoedelGod

<https://repo.masters-masters.com/en/repos/FormalTheology/GoedelGod>

[Home](https://repo.masters-masters.com/en) › [FormalTheology](https://repo.masters-masters.com/en/owners/FormalTheology) › [GoedelGod](https://repo.masters-masters.com/en/repos/FormalTheology/GoedelGod)

FormalTheology/GoedelGod has 476 stars on GitHub. Its RepoMasters card: Alpha tier. Formalizations of Gödel's Ontological Proof of God's Existence

| Field | Value |
| --- | --- |
| Owner | [FormalTheology](https://repo.masters-masters.com/en/owners/FormalTheology) |
| Stars | 476 |
| Forks | 40 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2013 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [FormalTheology/GoedelGod](https://github.com/FormalTheology/GoedelGod) |

## Repository

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

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in TeX

- [scunning1975/mixtape · ★ 482 · TeX · Alpha](https://repo.masters-masters.com/en/repos/scunning1975/mixtape)
- [mcnees/LaTeX-Graph-Paper · ★ 481 · TeX · Alpha](https://repo.masters-masters.com/en/repos/mcnees/LaTeX-Graph-Paper)
- [appautomaton/latex-arxiv-SKILL · ★ 478 · TeX · Alpha](https://repo.masters-masters.com/en/repos/appautomaton/latex-arxiv-SKILL)
- [VincentGranville/Large-Language-Models · ★ 475 · TeX · Alpha](https://repo.masters-masters.com/en/repos/VincentGranville/Large-Language-Models)
- [MAVProxyUser/YushuTechUnitreeGo1 · ★ 473 · TeX · Alpha](https://repo.masters-masters.com/en/repos/MAVProxyUser/YushuTechUnitreeGo1)
- [olivierverdier/python-latex-highlighting · ★ 472 · TeX · Alpha](https://repo.masters-masters.com/en/repos/olivierverdier/python-latex-highlighting)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.