1 Answers
The Theorem Proving System 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.
8 views
Answered