Language.SMTLib2.Internals.Proof.Verify

verifyZ3Proof

verifyZ3Rule