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
2 months ago
GPL-3.0
JVM:
3.x
2.18.0
5 months ago
GPL-3.0
JVM:
3.x
2.17.0
10 months ago
GPL-3.0
JVM:
3.x 2.13
2.16.0
3 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
8 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
9 years ago
GPL-3.0
JVM:
2.11
2.1
9 years ago
GPL-3.0
JVM:
2.11