4 ms·
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
by hackandthink 1y 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/PartI/SectionA/primitive_ideas_and_propositions.lean https://github.com/ndrwnaguib/principia/blob/main/Principia/...
- ndrwnaguib 1y agoYou'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.