gapt / gapt 2.18.1

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x

gapt

Found 3 versions

2.17.0

9 months ago
GPL-3.0

JVM:

3.x 2.13

2.16.0

2 years ago
GPL-3.0

JVM:

2.13

2.15.4

3 years ago
GPL-3.0

JVM:

2.13