EvaluationError
===============

.. currentmodule:: proveit.logic

.. autoexception:: EvaluationError