gapt / gapt 2.18.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x

gapt

Found 2 versions

2.18.0

26 days ago
GPL-3.0

JVM:

3.x

2.17.0

5 months ago
GPL-3.0

JVM:

3.x 2.13