This instance was upgraded to Heptapod 0.27.2 on 2021-12-08 at 22:00 UTC+1

afp-2020

afp-2020

Isabelle2020 release of the Archive of Formal Proofs