The goal of this project is to make clear structural connections between different parts of Principia Mathematica and to make analyzable data about the theorems, definitions, and primitive postulates in its text. We do this by providing three digital tools:
- A map of Principia that allows you to see the whole book.
- 9,944 mini-maps (one for every starred number in Principia) that show you everything used to prove it and everything that it is used to prove (❋13.1 for example).
- A table of Principia that allows users to search for specific starred numbers, sections, chapters, and more, and also allows exportation of search results to JSON or CSV files. This project is supported by a Scholarly Editions and Translations grant from the National Endowment for the Humanities running from 2023 to 2025. This project is also part of the broader initiative, the Principia Rewrite project.
A no-fillings bun starter project. https://bun.sh/
bun install - install project dependencies
bun start - compile source
bun test - run unit tests
bun docs - generate docs for all comments in valid JSDoc format