Theorem Proving System

* About TPS and ETPS.
* Papers & Reviews about TPS and ETPS.
* Downloading your own copy of TPS and ETPS.
* Online documentation for TPS and ETPS.
* Postscript and PDF Manuals for TPS and ETPS.
* Notations used by Tps and Etps
* Other Theorem-Proving Links.
* Links to Implementations of Common Lisp.

TPS has been developed with support from the National Science Foundation and an equipment grant from Intel.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.