This instance will be upgraded to Heptapod 17.3.1 on 2024-10-10 between 18:30 and 19:30 UTC+2
Isabelle2020 release of the Archive of Formal Proofs
Isabelle2019 release of the Archive of Formal Proofs
Presentation of Heptapod in French at PyConFR2019
Slides for a Heptapod presentation at Mercurial Conference - Paris 2019
