README.md 523 Bytes
Newer Older
gerwin.klein@nicta.com.au's avatar
gerwin.klein@nicta.com.au committed
1
2
3
4
5
6
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
kleing's avatar
kleing committed
7
<https://foss.heptapod.net/isa-afp/afp-devel>.
gerwin.klein@nicta.com.au's avatar
gerwin.klein@nicta.com.au committed
8
9

If you are an AFP author or Isabelle maintainer, you can get push access to
kleing's avatar
kleing committed
10
this repository by sending a request, including your Heptapod login, to
gerwin.klein@nicta.com.au's avatar
gerwin.klein@nicta.com.au committed
11
`afp-submit at in.tum.de`
gerwin.klein@nicta.com.au's avatar
gerwin.klein@nicta.com.au committed
12
13
14

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

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