gapt / gapt 2.17.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

tactics
scala
proofs
sat-solver
proof
theorem-proving
herbrand-disjunction

Scala versions: 3.x 2.13

Latest version

[![gapt Scala version support](https://index-dev.scala-lang.org/gapt/gapt/gapt/latest.svg)](https://index-dev.scala-lang.org/gapt/gapt/gapt)

JVM badge

[![gapt Scala version support](https://index-dev.scala-lang.org/gapt/gapt/gapt/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/gapt/gapt/gapt)