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

Overview

HTTPS SSH

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.