Explore projects

Isabelle2019 release of the Archive of Formal Proofs

Isabelle2020 release of the Archive of Formal Proofs

Development version 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

Isabelle2022 release of the Archive of Formal Proofs

Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.

Isabelle2023 release of the Archive of Formal Proofs