ProofFailure
============

.. currentmodule:: proveit

.. autoexception:: ProofFailure