auto_prover
===========

.. currentmodule:: proveit

.. autofunction:: auto_prover