All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
Isabelle2021-1 release of the Archive of Formal Proofs
Isabelle2023 release of the Archive of Formal Proofs
Slides for a Heptapod presentation at Mercurial Conference - Paris 2019
Presentation of Heptapod in French at PyConFR2019
Updated