The Archive of Formal Proofs
This is the mercurial repository for the Archive of Formal Proofs (AFP).
The main development version of the AFP repository is hosted at https://bitbucket.org/isa-afp/afp-devel.
If you are an AFP author or Isabelle maintainer, you can get push access to
this repository by sending a request, including your bitbucket login, to
afp-submit at in.tum.de
Guidelines for maintaining entries can be found in the