Download the Archive

Current stable version (for most recent Isabelle release):

Download all sessions: afp-current.tar.gz (~70 MB)

Older stable versions:

Please use the sourceforge download system to access older versions of the archive.

Mercurial access:

At Heptapod (development version of the Archive, for the development version of Isabelle)

Metadata download

The metadata of all entries is available as an array of JSON objects: metadata.json (~1 MB)

How to refer to AFP entries:

You can refer to AFP entries by using the AFP as an Isabelle component.

The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial provided by Octobus and Clever Cloud.

Octobus and Clever Cloud logos