17 citations · 17 across the 1 of their papers we have counts for
1 paper
Cvetan Dunchev, Alexander Leitsch, Tomer Libal +4
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 th…