Tags

Tags give the ability to mark specific points in history as being important

0.3

b8f31f0e · Set 0.3 release date to today · Feb 10, 2023

Release: 0.3

This release overhauls the entire document, but introduces only few changes to the proof format itself.

0.2

4a4dd370 · Update Changelog to mark the current status as release 0.2 · Dec 19, 2022

Release: 0.2

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.

0.1

eb22c9d6 · Fix accidentally repeated proof list · Jul 10, 2021

This is the first public release of the specification.  It coincides with
the seventh PxTP Workshop.

Admin message

0.3

0.2

0.1