JarCasting
JarCasting JarCasting

Project Group: at.logic.gapt

gapt

 at.logic.gapt : gapt_2.13

General Architecture for Proof Theory

Last Version: 2.15.4

Release Date:

gapt-examples

 at.logic.gapt : gapt-examples_2.13

Last Version: 2.15.4

Release Date:

  • 1