Comment by jonjacky

Principia Mathematica Maps and Table Site (PM-MATS):

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