lean\_runner package
====================

Subpackages
-----------

.. toctree::
   :maxdepth: 4

   lean_runner.client
   lean_runner.proof

Module contents
---------------

.. automodule:: lean_runner
   :members:
   :show-inheritance:
   :undoc-members: