| ▲ | hackandthink 20 hours ago | |
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 20 hours ago | parent [-] | |
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. | ||