This release overhauls the entire document, but introduces only few changes to the proof format itself.
This is an intermediate release. It collects all changes to the original specification document before the major changes that were implemented as part of Hans-Jörg Schurr's PhD thesis.
This is the first public release of the specification. It coincides with the seventh PxTP Workshop.