Theorem Proving System
Jump to navigation
Jump to search
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
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 with topics of unclear notability from May 2016
- All articles with topics of unclear notability
- Articles needing additional references from May 2024
- All articles needing additional references
- Articles lacking reliable references from May 2024
- All articles lacking reliable references
- Articles with multiple maintenance issues
- Theorem proving software systems
- Common Lisp (programming language) software
- All stub articles
- Science software stubs
- Mathematics stubs