gapt / gapt   2.18.1

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x

gapt-examples

Found 17 versions
2.18.1
1 month ago
GPL-3.0
JVM:
3.x
2.18.0
4 months ago
GPL-3.0
JVM:
3.x
2.17.0
9 months ago
GPL-3.0
JVM:
3.x 2.13
2.16.0
2 years ago
GPL-3.0
JVM:
2.13
2.15.4
3 years ago
GPL-3.0
JVM:
2.13
2.12
6 years ago
GPL-3.0
JVM:
2.12
2.11
7 years ago
GPL-3.0
JVM:
2.12
2.10
7 years ago
GPL-3.0
JVM:
2.12
2.9
7 years ago
GPL-3.0
JVM:
2.12
2.8
7 years ago
GPL-3.0
JVM:
2.12
2.7
7 years ago
GPL-3.0
JVM:
2.12
2.6
8 years ago
GPL-3.0
JVM:
2.12
2.5
8 years ago
GPL-3.0
JVM:
2.12
2.4
8 years ago
GPL-3.0
JVM:
2.12
2.3
8 years ago
GPL-3.0
JVM:
2.11
2.2
8 years ago
GPL-3.0
JVM:
2.11
2.1
9 years ago
GPL-3.0
JVM:
2.11