reset
=====

.. currentmodule:: proveit

.. autofunction:: reset