Presenting TSTP Proofs with
Inference Web Tools
Abstract
This talk describes the translation of proofs in the Thou-
sands of Solutions from Theorem Provers (TSTP) solution library to the
Proof Markup Language (PML), and the subsequent use of Inference
Web (IW) tools to provide new presentations of the proofs. The trans-
lation enriches the TSTP proofs with proof provenance meta-data, and
provides new possibilities for proof processing.