PROOFTOOL: a GUI for the GAPT Framework
Logic in Computer Science
2013-07-09 v1 Human-Computer Interaction
Mathematical Software
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.
Keywords
Cite
@article{arxiv.1307.1942,
title = {PROOFTOOL: a GUI for the GAPT Framework},
author = {Cvetan Dunchev and Alexander Leitsch and Tomer Libal and Martin Riener and Mikheil Rukhaia and Daniel Weller and Bruno Woltzenlogel-Paleo},
journal= {arXiv preprint arXiv:1307.1942},
year = {2013}
}
Comments
In Proceedings UITP 2012, arXiv:1307.1528