This instance will be upgraded to Heptapod 0.40.0 (final) on 2023-12-05 at 16:00 UTC+1
Presentation of Heptapod in French at PyConFR2019
"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.
Slides for a Heptapod presentation at Mercurial Conference - Paris 2019
To be deleted.
Isabelle2021-1 release of the Archive of Formal Proofs
Isabelle2021 release of the Archive of Formal Proofs