Home Page of PM Proof checking Project
Email: Mail To: pal at dennisdarland dot com
PM Proof checker At Large
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
- PM proof checker as scanned from printout from Dan J. O'Leary.
- Partial scan of output of program.
- Close to original - retyped.
- PM Proof Checker in snobol4 - Retyped by Dennis J. Darland - minimal changes.
- Corresponding Snobol listing.
- Explanation of Notation (started)
- Input Data.
- Page_out output
- Data output
- Debug output