TY  - RPRT
TI  - PROOFTOOL: a GUI for the GAPT Framework
AU  - Cvetan Dunchev
AU  - Alexander Leitsch
AU  - Tomer Libal
AU  - Martin Riener
AU  - Mikheil Rukhaia
AU  - Daniel Weller
AU  - Bruno Woltzenlogel-Paleo
PY  - 2013
DO  - 10.4204/eptcs.118.1
UR  - https://arxiv.org/abs/1307.1942
ID  - 1307.1942
ER  -