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