Theorem Proving System
Jump to navigation
Jump to search
This article needs additional citations for verification. (May 2016) |
The topic of this article may not meet Wikipedia's general notability guideline. (May 2016) |
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
Categories:
- Articles needing additional references from May 2016
- All articles needing additional references
- Articles with topics of unclear notability from May 2016
- All articles with topics of unclear notability
- Theorem proving software systems
- Common Lisp (programming language) software
- All stub articles
- Science software stubs
- Mathematics stubs