smtlib2-1.0: A type-safe interface to communicate with an SMT solver.

Safe HaskellNone
LanguageHaskell98

Language.SMTLib2.Internals.Proof.Verify

Documentation

verifyZ3Proof :: Backend b => Proof b -> SMT b () Source

verifyZ3Rule :: (GetType e, Extract i e, GEq e, Monad m, GShow e) => i -> String -> [ProofResult e] -> ProofResult e -> ExceptT String m () Source