A
Demo
of an early version (0.9.1) of TPTP Web TEST
A short
Demo
of an early version (1.0.0) of TPTP Web TEST
The master thesis paper
Das TPTP-Web-TEST-Projekt
in German
The master thesis paper
Das TPTP-Web-TEST-Projekt
in English (TODO translated with Systran Tranlator)
Eclipse Update Site for
TPTP-Web-TEST