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

Guidelines for maintaining entries can be found in the doc/ directory.