The Principia Mathematica (1910) is the most well-known modern effort to formalize mathematics. The outcomes, including Godel's Incompleteness Theorems, were beneficial to mathematics. More recently, the QED manifesto (1994) proposed leveraging computers to capture rigor underlying mathematics. Beneficial results included the Mizar and Metamath databases. Methods of consistent open source representation for mathematics (MathML, OpenMath) between various Computer Algebra Systems (e.g., Mathematica, Maple, SymPy, Axiom, others) has been a struggle.