Log === .. currentmodule:: proveit.numbers .. autoclass:: Log :show-inheritance: .. rubric:: Methods Summary .. autosummary:: ~Log.latex ~Log.string .. rubric:: Methods Documentation .. automethod:: latex .. automethod:: string