PROOFTOOL: a GUI for the GAPT Framework

PROOFTOOL: a GUI for the GAPT Framework
复制标题

PROOFTOOL：GAPT 框架的 GUI

DOI：
10.4204/eptcs.118.1
复制
发表时间：
2013
期刊：
arXiv: Logic in Computer Science
影响因子：
--
通讯作者：
Bruno Woltzenlogel
Bruno Woltzenlogel
中科院分区：
--
文献类型：
--
作者：
Cvetan Dunchev Institute of Computer Languages;Vienna University of Technology;Alexander Leitsch Institute of Computer Languages;Tomer Libal Institute of Computer Languages;Martin Riener Institute of Computer Languages;Mikheil Rukhaia Institute of Computer Languages;Daniel Weller Institute of Discrete Mathematics;Geometry;Bruno Woltzenlogel

文献摘要

被引文献

相似文献

本文介绍了证明理论通用体系结构（GAPT）框架的图形用户界面PROOFTOOL。描述了它的特点，不仅注重可视化，而且注重证明和相关树状结构的分析和转换，并解释了它的实现。最后，将PROOFTOOL与其他三种图形化校对界面进行了比较。
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.