Explore projects

Slides for a Heptapod presentation at Mercurial Conference - Paris 2019

Presentation of Heptapod in French at PyConFR2019

ZDoom ACC as a hg repo with Zandronum definitions and functions

Wiki that might become the Tryton Administrators Manual.

Target audience: Persons administering Tryton (within Tryton)

This manual describes how to configure the various aspects of Tryton within Tryton, e.g. managing users, roles and permissions, customizing templates, set-up and configuration of the most important modules,

For now we are collecting texts in the wiki. To contribute, just get an account at https://foss.heptapod.net and add your content to the wiki. If you want to make this an web-site manual, please create an issue.

A module to parse AEB43 files

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

Isabelle2022 release of the Archive of Formal Proofs

Isabelle2023 release of the Archive of Formal Proofs

Admin scripts for the AFP.

Development version of the Archive of Formal Proofs