The Principia Rewrite

View project on GitHub

Welcome to the Principia Rewrite.

This website hosts the Principia Rewrite, the project of rewriting Whitehead and Russell’s Principia Mathematica. There are four main components to this project:

  1. coding the proofs in Principia in the computer proof-assistant Coq;
  2. producing a standardized LaTeX package for Principia’s idiosyncratic symbols;
  3. digitizing Principia in a LaTeX markup that renders it nicely;
  4. building a website for searching logical symbols via the LaTeX markup.

The source code for these various components will be published as it is completed and suitable for circulation. Related updates will also be posted on this website.

The project is managed by Landon D. C. Elkind (Philosophy, University of Alberta) and is supported by a Killam Postdoctoral Fellowship.