Comment by hackandthink

I only see these very initial propositional theorems.

Am I missing something, or has the project only just begun?

https://github.com/ndrwnaguib/principia/blob/main/Principia/...