
afp-2022 hg
Isabelle2022 release of the Archive of Formal Proofs
Due to a massive storm of spam, registration on this instance now requires explicit administrator approval. Sorry for the added friction, we're also looking into automatic filtering options.