gapt / gapt   2.16.0

Website GitHub

GAPT: General Architecture for Proof Theory

8 versions found for gapt
2.12
4 years ago
GPL-3.0
JVM:
2.12
2.11
4 years ago
GPL-3.0
JVM:
2.12
2.10
4 years ago
GPL-3.0
JVM:
2.12
2.9
4 years ago
GPL-3.0
JVM:
2.12
2.8
4 years ago
GPL-3.0
JVM:
2.12
2.6
5 years ago
GPL-3.0
JVM:
2.12
2.5
5 years ago
GPL-3.0
JVM:
2.12
2.4
5 years ago
GPL-3.0
JVM:
2.12