This instance will be upgraded to Heptapod 0.40.0 (final) on 2023-12-05 at 16:00 UTC+1
Slides for a Heptapod presentation at Mercurial Conference - Paris 2019
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.
Isabelle2019 release of the Archive of Formal Proofs
Isabelle2020 release of the Archive of Formal Proofs
Development version of the Archive of Formal Proofs
To be deleted.