PrototypeCommune
LogicalAtomist/principia-rewrite
The Principia Rewrite
- Propriétaire
- LogicalAtomist (compte personnel)
- Étoiles
- Étoiles : 230
- Forks
- Forks : 6
- Langage
- TeX
- Licence
- GPL-3.0
- Création
- 2020
- Sujets
- logichistory-of-philosophycoqcoq-ecosystemformal-logicformal-mathematicsformal-proofslatexlatex-packages
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts TeX
Tous les dépôts TeX- pablo14/data-science-live-bookÉtoiles : 230TeXPrototype
- stevengj/subsuper-proposalÉtoiles : 230TeXPrototype
- csjjfu/BUPTGraduateThesisLatexTemplateÉtoiles : 230TeXPrototype
- cambridge/thesisÉtoiles : 229TeXPrototype