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

Stub icon This scientific software article is a stub. You can help Wikipedia by expanding it.
Last modified on 13 February 2010, at 02:56