Cvc5Proof
=========

This struct encapsulates a cvc5 proof object, which can be retrieved via
function :cpp:func:`cvc5_get_proof()` after a :cpp:func:`cvc5_check_sat()`
query returns an `unsat` result.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5Proof
    :project: cvc5_c

----

.. doxygengroup:: c_cvc5proof
    :project: cvc5_c
    :content-only:
