Skip to content
0.3
Hans-Jörg's avatar
Hans-Jörg
@hjsc
b8f31f0e · Set 0.3 release date to today ·
Release: 0.3 
This release overhauls the entire document, but introduces only few changes to the proof format itself.