TPS and ETPS Manuals
TPS and ETPS come with a set of manuals,
which are essential for learning how to use the system effectively.
(The Tables of Contents are at the ends of the manuals.)
The ETPS manual, a guide to making proofs interactively. (GZIPped postscript version, PDF version)
- The GRADER manual, which shows teachers how their
students' work can be automatically graded by TPS. (GZIPped postscript version, PDF version)
- The TPS Users manual, a guide to making proofs automatically. (GZIPped postscript version, PDF version)
- The TPS Short Facilities Guide, a reference guide to the most commonly used parts of the system. (GZIPped version, PDF version)
- The TPS Facilities Guide, a reference guide to the whole system. (GZIPped version, PDF version)
- Online (HTML) documentation for TPS and ETPS.
