Proof
=====

This class encapsulates a cvc5 proof object, which can be retrieved via
function :py:func:`cvc5.Solver.getProof()` after a
:py:func:`cvc5.Solver.checkSat()` query returns an `unsat` result.

-----

.. autoclass:: cvc5.Proof
    :members:
    :undoc-members: