Top Qs
Timeline
Chat
Perspective

Theorem Proving System

From Wikipedia, the free encyclopedia

Remove ads

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

Remove ads


Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads