proofborne-verifier 0.1.0-alpha.2

Provider-free deterministic semantic verifier for Proofborne proofs
Documentation