principia-rewrite

Principia A work from the early 20th century, mathematics, logic. I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer. I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying. In code? See for yourself : https://www.principiarewrite.com/ or https://github.com/LogicalAtomist/principia/blob/master/PL.v

if I'm reading correctly, they've already done the Coq and it verifies. https://github.com/LogicalAtomist/principia/blob/master/PL.v