Theorem_Proving_System

Theorem Proving System

Theorem Proving System

Add article description

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).

This article needs additional citations for verification. (May 2016)

The topic of this article may not meet Wikipedia's general notability guideline. (May 2016)

Share this article:

This article uses material from the Wikipedia article Theorem_Proving_System, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.