gapt / gapt   2.18.1

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x
Found 2 artifacts
gapt 2.18.1
1 month ago
GPL-3.0
JVM:
3.x
gapt-examples 2.18.1
1 month ago
GPL-3.0
JVM:
3.x