Home Page of PM Proof checking Project

Email: Mail To: pal at dennisdarland dot com

PM Proof checker At Large

Comments welcome.

For other things I'm doing see my home page.

Checking Proofs in Principia Mathematica using snobol4

- The propositional logic of Principia Mathematica and some of its forerunners by Dan J. O'Leary
- Original - Scanned
- Close to original - retyped.