Skip to content

frehn/gapt

 
 

Repository files navigation

GAPT: General Architecture for Proof Theory

Build Status Coverage Status

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.

Website: http://www.logic.at/gapt
Contact: [email protected]

Requirements:

  • Unix-compatible environment
  • Java 1.7 or later

See https://github.com/gapt/gapt/wiki/External-software for details.

Compilation and running:

  • sbt assembly
  • The scripts cli.sh, gui.sh, atp.sh look for the assembled jar and start the respective interface of gapt.

See https://github.com/gapt/gapt/wiki/Compiling-and-running-from-source for details.

License: GAPT is free software licensed under the GNU General Public License Version 3. See the file COPYING for details.

About

GAPT: General Architecture for Proof Theory

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Scala 99.0%
  • Java 0.6%
  • TeX 0.2%
  • OpenEdge ABL 0.1%
  • Shell 0.1%
  • Rust 0.0%