GAPT: General Architecture for Proof Theory
Latest version
[
JVM badge
[