PROOFTOOL: a GUI for the GAPT Framework
This tool addresses the need for better visualization and analysis of proofs in proof theory, but it is incremental as it builds on the existing GAPT framework.
The paper introduces PROOFTOOL, a GUI for the GAPT framework, focusing on visualizing, analyzing, and transforming proofs and tree-like structures, and compares it with three other graphical proof interfaces.
This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs.