kdrag.contract.prove
====================

.. currentmodule:: kdrag.contract

.. autofunction:: prove