System Description: GAPT 2.0

  title={System Description: GAPT 2.0},
  author={Gabriel Ebner and Stefan Hetzl and Giselle Reis and Martin Riener and Simon Wolfsteiner and Sebastian Zivota},
GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT. 
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…