This instance will be upgraded to Heptapod 1.5.0rc (GitLab 16.11.1) on 2024-05-02 at 15:00 UTC+2
Isabelle2023 release of the Archive of Formal Proofs