GAPT 2.16.0

• Update prover interfaces: Vampire, iProver, veriT, leanCoP
• Add Jenkins CI pipeline
• Add tagged many-sorted reduction
• Update to Scala 2.13.8

GAPT 2.15.4

• Fix developer information

GAPT 2.15.3

• Publish to Maven Central

GAPT 2.15.2

• CLI is the entry point of the JAR file
• Fixes some occurrences of the Scala version number

GAPT 2.15.1

• Updates to the 2.15 release notes

GAPT 2.15

• DLS algorithm for formula equations
• Spin: saturation-based induction prover
• Update to Scala 2.13
• Refactoring of TIP tools, HOL to FOL translation and iProver interface

GAPT 2.14

• Bug fixes
• Slakje: performance improvements

GAPT 2.13

• Escargot: discrimination trees and feature vector indices.
• New term-based expansion tree implementation.
• Support for E 2.2.
• Slakje: automated theorem prover for first-order intuitionistic logic.
• JSON export and import for proofs and expressions
• Kolmogorov and Friedman translations

GAPT 2.12

• SMTInterpol interface
• Support for Vampire 4.2.2
• JSON Serialization for expressions, LK Proofs, ND Proofs
• Improvements to the TIP Parser
• TPTP/TSTP Statistics
• New proof schemata

GAPT 2.11

• Deskolemization of proofs with equational reasoning
• Root package was renamed from at.logic.gapt to just gapt
• Modified realizability
• New reductive cut-elimination implementation for LK