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