P principiarewrite.com Whitehead and Russell’s Principia rewritten in Coq 230 points zdw 4 years ago 64 comments
