PrototypeCommon
LogicalAtomist/principia-rewrite
The Principia Rewrite
- Owner
- LogicalAtomist (personal account)
- Stars
- Stars: 230
- Forks
- Forks: 6
- Language
- TeX
- License
- GPL-3.0
- Created
- 2020
- Topics
- logichistory-of-philosophycoqcoq-ecosystemformal-logicformal-mathematicsformal-proofslatexlatex-packages
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TeX
All TeX repos- stevengj/subsuper-proposalStars: 230TeXPrototype
- csjjfu/BUPTGraduateThesisLatexTemplateStars: 230TeXPrototype
- gulucaptain/Best-Paper-Writing-SkillStars: 230TeXPrototype