Skip to content
Snippets Groups Projects
user avatar
desharna authored
fcd9b94d
History
Name Last commit Last update
admin
doc
etc
metadata
thys
tools
web
.hgignore
.hgtags
README.md

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://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.