Explore projects

Slides for a Heptapod presentation at Mercurial Conference - Paris 2019

Presentation of Heptapod in French at PyConFR2019

Isabelle2019 release of the Archive of Formal Proofs

Isabelle2020 release of the Archive of Formal Proofs

Isabelle2021 release of the Archive of Formal Proofs

Isabelle2021-1 release of the Archive of Formal Proofs

Isabelle2023 release of the Archive of Formal Proofs

Development version of the Archive of Formal Proofs

To be deleted.

"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.