gapt / gapt   2.16.0

Website GitHub

GAPT: General Architecture for Proof Theory

4 versions found for gapt
2.3
5 years ago
GPL-3.0
JVM:
2.11
2.2
6 years ago
GPL-3.0
JVM:
2.11
2.1
6 years ago
GPL-3.0
JVM:
2.11
2.0
6 years ago
GPL-3.0
JVM:
2.11