Interactive derivation viewer

This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.

Author: Steven Trac, University of Miami