proofborne-verifier 0.3.0-alpha.2

Provider-free deterministic semantic verifier for Proofborne proofs
Documentation