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 Heptapod login, to
`afp-submit at in.tum.de`
Guidelines for maintaining entries can be found in the `doc/` directory.