• Whitehead and Russell’s Principia rewritten in Coq https://www.principiarewrite.com/ 64 comments 6/12/2021

• There's an ongoing effort to rewrite Principia Mathematica using Coq https://www.principiarewrite.com/ 26 comments 2/12/2021 math