This instance was upgraded to Heptapod 17.7.0rc1 on 2025-01-23
All legacy (hg-git based) Projects will be automatically migrated to native starting with the upgrade of 2025-01-23
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2020 release of the Archive of Formal Proofs
Isabelle2021 release of the Archive of Formal Proofs
Isabelle2021-1 release of the Archive of Formal Proofs
To be deleted.
Development version of the Archive of Formal Proofs
