afp-2021

afp-2021

Isabelle2021 release of the Archive of Formal Proofs