# FormalTheology/GoedelGod

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

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

FormalTheology/GoedelGod, dépôt open source à 476 étoiles sur GitHub. Carte Alpha de RepoMasters. Formalizations of Gödel's Ontological Proof of God's Existence

| Champ | Valeur |
| --- | --- |
| Propriétaire | [FormalTheology](https://repo.masters-masters.com/owners/FormalTheology) |
| Étoiles | 476 |
| Forks | 40 |
| Langage | [TeX](https://repo.masters-masters.com/languages/tex) |
| Licence | Aucune |
| Création | 2013 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [FormalTheology/GoedelGod](https://github.com/FormalTheology/GoedelGod) |

## Fiche du dépôt

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

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts TeX

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.