PROOFTOOL: a GUI for the GAPT Framework
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 implemen...
| Published in: | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Main Authors: | , , , , , , |
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-07-01
|
| Online Access: | http://arxiv.org/pdf/1307.1942v1 |