PROOFTOOL: a GUI for the GAPT Framework

Alexander Leitsch (Institute of Computer Languages (E185); Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185); Cvetan Dunchev (Institute of Computer Languages (E185); Daniel Weller (Institute of Discrete Mathematics; Geometry (E104); Martin Riener (Institute of Computer Languages (E185); Mikheil Rukhaia (Institute of Computer Languages (E185); Tomer Libal (Institute of Computer Languages (E185); Vienna University of Technology)

arxiv: 1307.1942 · v1 · pith:EPYFCFHOnew · submitted 2013-07-08 · 💻 cs.LO · cs.HC· cs.MS

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) , Tomer Libal (Institute of Computer Languages (E185) , Martin Riener (Institute of Computer Languages (E185) , Mikheil Rukhaia (Institute of Computer Languages (E185) , Daniel Weller (Institute of Discrete Mathematics , Geometry (E104)

show 1 more author

Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185)

This is my paper

classification 💻 cs.LO cs.HCcs.MS

keywords prooftoolframeworkgaptgraphicalproofsanalysisarchitecturecompared

0 comments

read the original 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.

This paper has not been read by Pith yet.

PROOFTOOL: a GUI for the GAPT Framework

discussion (0)