evaluation_or_simplification
============================

.. currentmodule:: proveit.logic

.. autofunction:: evaluation_or_simplification