Tags

Unreleased/Isabelle2023

2024-06-18 07:21:43 +00:00 39ce8916c8 ZIP TAR.GZ

Unreleased/Isabelle2022

2023-09-14 05:22:32 +00:00 ec7297f1d3 ZIP TAR.GZ

afp_submission

2023-05-15 20:40:36 +00:00 49faed4faf ZIP TAR.GZ

v1.3.0/Isabelle2021-1

2022-07-08 11:28:30 +00:00 b93ff8f65c ZIP TAR.GZ

v1.2.0/Isabelle2021

2022-03-26 17:51:07 +00:00 97bfdcff58 ZIP TAR.GZ

2021-ITP-PMTI-rejected

2022-02-09 11:13:36 +00:00 f681ab54a7 ZIP TAR.GZ

v1.1.0/Isabelle2021

2021-03-20 23:33:20 +00:00 e319e4d810 ZIP TAR.GZ

v1.1.0/Isabelle2020

2021-03-20 22:47:14 +00:00 922da1aa21 ZIP TAR.GZ

v1.0.0/Isabelle2019

2019-08-18 17:03:43 +00:00 d0b183af79 ZIP TAR.GZ

Unreleased/Isabelle2018

2019-08-14 19:07:30 +00:00 2341879f06 ZIP TAR.GZ