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