[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/...

[ndrwnaguib]

You're not missing something. The project begun several months ago (I had to pause while I was writing my thesis). I resumed working on it recently.