Skip to content

fix: check proof semantics during verification #7

fix: check proof semantics during verification

fix: check proof semantics during verification #7