Electronic Proceedings in Theoretical Computer Science (Jul 2013)

PROOFTOOL: a GUI for the GAPT Framework

  • Cvetan Dunchev,
  • Alexander Leitsch,
  • Tomer Libal,
  • Martin Riener,
  • Mikheil Rukhaia,
  • Daniel Weller,
  • Bruno Woltzenlogel-Paleo

DOI
https://doi.org/10.4204/EPTCS.118.1
Journal volume & issue
Vol. 118, no. Proc. UITP 2012
pp. 1 – 14

Abstract

Read online

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.