Principia Mathematica II
Library Home || Full Table of Contents || Library Help
|An open source project attempting to present mathematical knowledge in a formal, correct form. It includes a proof verifier which checks a mathematical proof written in a certain formal language and an HTML converter for making mathematical HTML pages. Further details and instructions for participation are available on the site.|
|Resource Types:||Topic Tools Miscellaneous, Web Interactive/Java|
|Math Topics:||Logic/Foundations, Computer Algebra|
© 1994- The Math Forum at NCTM. All rights reserved.