Isabelle2021 release of the Archive of Formal Proofs
Isabelle2021-1 release of the Archive of Formal Proofs
Isabelle2023 release of the Archive of Formal Proofs
Updated