A brief maintenance was performed on this instance on 2025-01-13 between 22:15 and 22:30 UTC+2.
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2020 release of the Archive of Formal Proofs
Development version of the Archive of Formal Proofs
To be deleted.
Isabelle2021 release of the Archive of Formal Proofs
Isabelle2021-1 release of the Archive of Formal Proofs
