Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

FormalTheology/GoedelGod

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

Propriétaire: FormalTheology (organisation)
Étoiles: Étoiles : 476
Forks: Forks : 40
Langage: TeX
Licence: Aucune
Création: 2013
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts TeX

Tous les dépôts TeX

scunning1975/MixtapeToolsÉtoiles : 483TeXAlpha
scunning1975/mixtapeÉtoiles : 482TeXAlpha
mcnees/LaTeX-Graph-PaperÉtoiles : 481TeXAlpha
VincentGranville/Large-Language-ModelsÉtoiles : 475TeXAlpha
appautomaton/latex-arxiv-SKILLÉtoiles : 473TeXAlpha
olivierverdier/python-latex-highlightingÉtoiles : 472TeXAlpha