lorenzb/proveth

Write specification for proof format

Closed this issue · 0 comments

lorenzb commented
Write specification for proof format