Pastèque 2

Pastèque 2 is available on the IsaFoL repository and the HTML generation can be seen too. The source code can be found here.

Pastèque 1

Pastèque 1 is available with the Isabelle formalization on the Archive of Formal Proofs, where it is maintained and kept up-to-date. The release is also available here.