UnusableProof
=============

.. currentmodule:: proveit

.. autoexception:: UnusableProof