1. Archive of Formal Proofs
  2. AFP
  3. afp-devel



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 doc/ directory.