Library Home || Full Table of Contents || Suggest a Link || Library Help
|A predicate calculus-based proof checker, which can check proofs drawn from many different Internet sites.|
|Resource Types:||Web Interactive/Java|
© 1994-2014 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.