gapt / gapt   2.15.4

Website GitHub

GAPT: General Architecture for Proof Theory

Latest version

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

JVM badge

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