afp-2020

afp-2020

Isabelle2020 release of the Archive of Formal Proofs