kdrag.tactics.prove
===================

.. currentmodule:: kdrag.tactics

.. autofunction:: prove