System description: GAPT 2.0

Gabriel Ebner*, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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.

Original languageEnglish
Title of host publicationAutomated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
EditorsNicola Olivetti, Ashish Tiwari
PublisherSpringer Verlag
Number of pages9
ISBN (Print)9783319402284
Publication statusPublished - 1 Jan 2016
Externally publishedYes
Event8th International Joint Conference on Automated Reasoning, IJCAR 2016 - Coimbra, Portugal
Duration: 27 Jun 20162 Jul 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th International Joint Conference on Automated Reasoning, IJCAR 2016


Dive into the research topics of 'System description: GAPT 2.0'. Together they form a unique fingerprint.

Cite this