This instance will be updated to Heptapod 18.6.0rc1 on 2025-12-08 between 11:00 and 12:00 UTC+1 (Europe/Paris)
A simple utility to find correct CPUTYPE value for FreeBSD makefiles.
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2020 release 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