Proof
=====

.. currentmodule:: proveit

.. autoclass:: Proof
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Proof.unique_proofs

   .. rubric:: Methods Summary

   .. autosummary::

      ~Proof.all_required_proofs
      ~Proof.assumptions
      ~Proof.disable
      ~Proof.enumerated_proof_steps
      ~Proof.get_link
      ~Proof.is_usable
      ~Proof.num_steps
      ~Proof.used_axioms
      ~Proof.used_theorems

   .. rubric:: Attributes Documentation

   .. autoattribute:: unique_proofs

   .. rubric:: Methods Documentation

   .. automethod:: all_required_proofs
   .. automethod:: assumptions
   .. automethod:: disable
   .. automethod:: enumerated_proof_steps
   .. automethod:: get_link
   .. automethod:: is_usable
   .. automethod:: num_steps
   .. automethod:: used_axioms
   .. automethod:: used_theorems