AI tools

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

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)

The topic of this article may not meet Wikipedia's general notability guideline. (May 2016)

This article relies largely or entirely on a single source. (May 2024)

This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. (May 2024)

External links

Theorem Proving System web page

This article about mathematics software is a stub. You can help Wikipedia by expanding it.

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.