This instance will be upgraded to Heptapod 17.7.0rc1 on 2025-01-23 between 18:00 and 19:00 UTC+2
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2020 release of the Archive of Formal Proofs
Isabelle2021 release of the Archive of Formal Proofs
A simple utility to find correct CPUTYPE value for FreeBSD makefiles.
Isabelle2021-1 release of the Archive of Formal Proofs
To be deleted.
