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