gapt / gapt   2.18.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x

gapt

Found 16 versions
2.18.0
26 days ago
GPL-3.0
JVM:
3.x
2.17.0
5 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
2 years ago
GPL-3.0
JVM:
2.13
2.12
6 years ago
GPL-3.0
JVM:
2.12
2.11
6 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.6
7 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
8 years ago
GPL-3.0
JVM:
2.11
2.0
9 years ago
GPL-3.0
JVM:
2.11