Theorem Proving System
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).
External links
This article is issued from Wikipedia - version of the Saturday, February 13, 2010. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.