GAPT: General Architecture for Proof Theory
Scala versions:
2.13
14
versions found for
gapt-examples