Download the Archive


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)
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