Whitehead and Russell’s Principia rewritten in Coq
I don’t mean to derail this contribution, but I want to chat about Principia. I ask honestly and earnestly, how would the Homo sapiens and the cosmos progress and advance if more people understood Principia Mathmatica?  I bought the book two years ago but find it terribly difficult to penetrate and understand. I’m looking for motivation on why I should invest time and life energy in the ~6 months it would take me to read and understand it.