The Archive of Formal Proofs
============================

This is the mercurial repository for the [Archive of Formal Proofs][1] (AFP).

The main development version of the AFP repository is hosted at
<https://foss.heptapod.net/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 Heptapod login, to
`afp-submit at in.tum.de`

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

[1]: http://isa-afp.org
