Isabelle2021-1 release of the Archive of Formal Proofs
Isabelle2023 release of the Archive of Formal Proofs
Isabelle2025 release of the Archive of Formal Proofs
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2024 release of the Archive of Formal Proofs