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.
- Try Running Tps or Etps Online via a Java Interface
- 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.