prover
======

.. currentmodule:: proveit

.. autofunction:: prover