Explore projects

Development version of the Archive of Formal Proofs

a templating library which provides a way to easily output several kinds of files (odt, ods, png, svg, …).

"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

To be deleted.

Isabelle2021 release of the Archive of Formal Proofs