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)
Martin Riener
(Institute of Computer Languages (E185), Vienna University of Technology)
Mikheil Rukhaia
(Institute of Computer Languages (E185), Vienna University of Technology)
Daniel Weller
(Institute of Discrete Mathematics and Geometry (E104), Vienna University of Technology)
Bruno Woltzenlogel-Paleo
(Institute of Computer Languages (E185), Vienna University of Technology)

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.

In Cezary Kaliszyk and Christoph Lüth: Proceedings 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), Bremen, Germany, July 11th 2012, Electronic Proceedings in Theoretical Computer Science 118, pp. 1–14.
Published: 5th July 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.118.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org