GAPT: General Architecture for Proof Theory

Release Archive

On this page you can find previous releases of GAPT.

Version	Date	Link
2.16.0	2022-07-21	gapt-2.16.0.tar.gz (sources)
2.15.4	2022-05-31	gapt-2.15.4.tar.gz (sources)
2.15.3	2022-05-31	gapt-2.15.3.tar.gz (sources)
2.15.2	2020-04-24	gapt-2.15.2.tar.gz (sources)
2.15.1	2020-04-08	gapt-2.15.1.tar.gz (sources)
2.15	2020-03-30	gapt-2.15.tar.gz (sources)
2.14	2019-03-04	gapt-2.14.tar.gz (sources)
2.13	2018-12-03	gapt-2.13.tar.gz (sources)
2.12	2018-08-17	gapt-2.12.tar.gz (sources)
2.11	2018-04-30	gapt-2.11.tar.gz (sources)
2.10	2018-03-19	gapt-2.10.tar.gz (sources)
2.9	2018-01-30	gapt-2.9.tar.gz (sources)
2.8	2017-10-09	gapt-2.8.tar.gz (sources)
2.7	2017-07-05	gapt-2.7.tar.gz (sources)
2.6	2017-04-03	gapt-2.6.tar.gz (sources)
2.5	2017-02-22	gapt-2.5.tar.gz (sources)
2.4	2017-01-13	gapt-2.4.tar.gz (sources)
2.3	2016-10-10	gapt-2.3.tar.gz (sources)
2.2	2016-07-09	gapt-2.2.tar.gz (sources)
2.1	2016-04-18	gapt-2.1.tar.gz (sources)
2.0	2016-01-18	gapt-2.0.tar.gz (sources)
1.10	2015-09-07	gapt-1.10.tar.gz (sources)
1.9	2014-08-29	gapt-1.9.zip (sources)
1.8	2014-05-04	gapt-1.8.zip (sources)
1.7	2014-04-15	gapt-1.7.zip (sources)

---

Last Change: 2022-07-21