Principia Mathematica
Alfred North Whitehead and Bertrand Russell, Cambridge University Press — 1910
Links
Abstract
Theory and Implementation of Rocq
Theory and Implementation of Rocq