evaluate_truth
==============

.. currentmodule:: proveit.logic

.. autofunction:: evaluate_truth