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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.118.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |