Principia Mathematica - The Foundations of Arithmetic in C++ - Lisa Lippincott - CppCon 2022