Variable
========

.. currentmodule:: proveit

.. autoclass:: Variable
   :show-inheritance: