Proof
=====

Qualified name: ``rsm.nodes.Proof``

.. currentmodule:: rsm.nodes

.. autoclass:: Proof
   :show-inheritance:
   :members:

   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
      

   
   .. rubric:: Attributes

   .. autosummary::
     
     ~Proof.label
     ~Proof.types
     ~Proof.number
     ~Proof.nonum
     ~Proof.reftext_template