Computer Verification for Historians of Philosophy: A Computer-Assisted, Historically-Faithful Rewrite of Principia Mathematica

Date: June 19, 2018