gapt / gapt   2.15.4

Website GitHub

GAPT: General Architecture for Proof Theory

13 versions found for gapt-examples
2.15.4
29 days ago
GPL-3.0
JVM:
2.13
2.12
3 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.7
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
2.3
5 years ago
GPL-3.0
JVM:
2.11
2.2
5 years ago
GPL-3.0
JVM:
2.11
2.1
6 years ago
GPL-3.0
JVM:
2.11