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

Found 3 versions
2.17.0
16 days 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