agent\_logic.models.llm\_proof\_model
=====================================

.. automodule:: agent_logic.models.llm_proof_model

   
   .. rubric:: Classes

   .. autosummary::
   
      LLMEquivalenceRequest
      LLMEquivalenceResponse
      LLMProofRequest
      LLMProofResponse
      LLMTruthTableRequest
      LLMTruthTableResponse