0.1

Hans-Jörg

@hjsc

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.