agent\_logic.proofs
===================

.. automodule:: agent_logic.proofs

   
.. rubric:: Modules

.. autosummary::
   :toctree:
   :recursive:

   combinatorial_proofs
   inference_rules
   proof_system
   quantifier_rules
   sequent_calculus
   unification