Skip to content

fix: check proof semantics during verification#7

Merged
AaronFeickert merged 1 commit intotari-project:mainfrom AaronFeickert:verifier-semanticsJan 5, 2024

Commits

Commits on Jan 5, 2024