Theorem Proving System
From Wikipedia, the free encyclopedia
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).
[edit] External links
 |
This software-related article is a stub. You can help Wikipedia by expanding it. |
