Principia Mathematica II
Library Home || Full Table of Contents || Suggest a Link || 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-2013 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.