gapt / gapt   2.16.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 2.13 2.12 2.11
2 versions found for gapt-examples
2.16.0
1 year ago
GPL-3.0
JVM:
2.13
2.15.4
1 year ago
GPL-3.0
JVM:
2.13