Isabelle2021-1 release of the Archive of Formal Proofs
Isabelle2021 release of the Archive of Formal Proofs
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