Menu
▾
▴
Tree [6de632] default / History
| File | Date | Author | Commit |
|---|---|---|---|
| admin | 2021-01-19 |
Fabian Huch
|
[c27ff1] fix(scala): Updated code for 2.13 |
| doc | 2020-07-14 |
kleing
|
[8c7430] merge from afp-2020 |
| etc | 2020-08-31 |
wenzelm
|
[59b5d2] more systematic support for special directories... |
| metadata | 2021-01-27 |
Simon Foster
|
[5a13e3] Added metadata for previous commit (Optics). |
| thys | 2021-01-31 |
Andreas Lochbihler
|
[6de632] hide MB abbreviation |
| tools | 2021-01-19 |
Fabian Huch
|
[c27ff1] fix(scala): Updated code for 2.13 |
| web | 2021-01-23 |
kleing
|
[824ba5] merge from afp-2020 |
| .hgignore | 2020-12-07 |
haftmann
|
[77790e] avoid generated code in versioning -- ONLY PART... |
| .hgtags | 2018-09-04 |
Gerwin Klein
|
[a3e370] Added tag Isabelle2018 for changeset 234a91c26d02 |
| README.md | 2020-07-01 |
kleing
|
[4d18e0] merge from afp-2020 |
Read Me
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.
