PROOFTOOL: a GUI for the GAPT Framework
Cvetan Dunchev (Institute of Computer Languages (E185), Vienna, University of Technology), Alexander Leitsch (Institute of Computer Languages, (E185), Vienna University of Technology), Tomer Libal (Institute of Computer, Languages (E185), Vienna University of Technology)
TL;DR
PROOFTOOL is a graphical user interface designed for the GAPT framework, enhancing proof visualization, analysis, and transformation, and is compared with other proof interfaces.
Contribution
It introduces PROOFTOOL, a new GUI for GAPT that improves proof visualization, analysis, and transformation capabilities.
Findings
Enhanced proof visualization and analysis features
Comparison with three other proof interfaces
Implementation details of PROOFTOOL
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.