Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

LogicalAtomist/principia-rewrite

The Principia Rewrite
Source code at GitHub https://www.principia-rewrite.org/
LogicalAtomist/principia-rewrite.json
{
  "createdAt": "2020-09-27T21:21:43Z",
  "defaultBranch": "master",
  "description": "The Principia Rewrite",
  "fullName": "LogicalAtomist/principia-rewrite",
  "homepage": "https://www.principia-rewrite.org/",
  "language": "TeX",
  "name": "principia-rewrite",
  "pushedAt": "2025-11-24T19:25:24Z",
  "stargazersCount": 230,
  "topics": [
    "coq",
    "coq-ecosystem",
    "formal-logic",
    "formal-mathematics",
    "formal-proofs",
    "history-of-philosophy",
    "latex",
    "latex-packages",
    "logic"
  ],
  "updatedAt": "2025-11-25T08:17:24Z",
  "url": "https://github.com/LogicalAtomist/principia-rewrite"
}

404: Not Found