Principia Mathematica Maps and Table Site (PM-MATS): https://principia.lib.uiowa.edu/about.html https://principia.lib.uiowa.edu/about.html "The goal of this p

Principia Mathematica Maps and Table Site (PM-MATS): https://principia.lib.uiowa.edu/about.html https://principia.lib.uiowa.edu/about.html "The goal of this project is to make clear structural connections between different parts of Principia and to make analyzable data about the theorems, definitions, and primitive postulates in its text. We do this by providing three digital tools ..." For example here is their take on the celebrated proof in PM that 1 + 1 = 2 https://principia.lib.uiowa.edu/?n=110.643&n=110 https://principia.lib.uiowa.edu/?n=110.643&n=110