gapt logo

GAPT: General Architecture for Proof Theory

GAPT is a proof theory framework developed primarily at the Vienna University of Technology. GAPT contains 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 particular, it has the following features:

Releases

The latest release is version 2.16.0, from 2022-07-21: download. See the release notes for details on the latest changes. See the release archive for previous releases and source releases.

Documentation

Development

GAPT is implemented in Scala. Development of GAPT is carried out on github, see our github repository. For more details, see also the developer wiki, the API documentation, or download the latest development build.

Publications

The best scientific reference to start reading about GAPT is:

The following is a list of publications related to the system. Some of them describe proof-theoretic algorithms which are implemented in GAPT, others describe a feature of the system or report on experiments carried out using GAPT.

Support


Last Change: 2023-12-07