gapt / gapt   2.17.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x 2.13

gapt-examples

Found 15 versions
2.17.0
3 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
6 years ago
GPL-3.0
JVM:
2.12
2.9
6 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
7 years ago
GPL-3.0
JVM:
2.12
2.5
7 years ago
GPL-3.0
JVM:
2.12
2.4
7 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