# LogicalAtomist/principia-rewrite

<https://repo.masters-masters.com/en/repos/LogicalAtomist/principia-rewrite>

[Home](https://repo.masters-masters.com/en) › [LogicalAtomist](https://repo.masters-masters.com/en/owners/LogicalAtomist) › [principia-rewrite](https://repo.masters-masters.com/en/repos/LogicalAtomist/principia-rewrite)

LogicalAtomist/principia-rewrite has 230 stars on GitHub. Its RepoMasters card: Prototype tier. The Principia Rewrite Language: TeX.

| Field | Value |
| --- | --- |
| Owner | [LogicalAtomist](https://repo.masters-masters.com/en/owners/LogicalAtomist) |
| Stars | 230 |
| Forks | 6 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | GPL-3.0 |
| Created | 2020 |
| Topics | logic, history-of-philosophy, coq, coq-ecosystem, formal-logic, formal-mathematics, formal-proofs, latex, latex-packages |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [LogicalAtomist/principia-rewrite](https://github.com/LogicalAtomist/principia-rewrite) |

## Repository

The Principia Rewrite

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in TeX

- [stevengj/subsuper-proposal · ★ 230 · TeX · Prototype](https://repo.masters-masters.com/en/repos/stevengj/subsuper-proposal)
- [csjjfu/BUPTGraduateThesisLatexTemplate · ★ 230 · TeX · Prototype](https://repo.masters-masters.com/en/repos/csjjfu/BUPTGraduateThesisLatexTemplate)
- [gulucaptain/Best-Paper-Writing-Skill · ★ 230 · TeX · Prototype](https://repo.masters-masters.com/en/repos/gulucaptain/Best-Paper-Writing-Skill)

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