proofs 0.1.0

Yet another proof validation format.
Documentation