g

gapt_2.13

General Architecture for Proof Theory
https://logic.at/gapt/
GPL-3.0
at.logic.gapt
Jannik Vierling Stefan Hetzl Gabriel Ebner
general proof theory architecture
Aggregated version Version Update time
2.16 2.16.0 Jul 21, 2022
2.15 2.15.4 May 31, 2022
2 Records