agent\_logic.proofs.sequent\_calculus
=====================================

.. automodule:: agent_logic.proofs.sequent_calculus

   
   .. rubric:: Classes

   .. autosummary::
   
      Sequent
      SequentCalculus