lean\_server.manager package
============================

Submodules
----------

lean\_server.manager.proof\_manager module
------------------------------------------

.. automodule:: lean_server.manager.proof_manager
   :members:
   :show-inheritance:
   :undoc-members:

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

.. automodule:: lean_server.manager
   :members:
   :show-inheritance:
   :undoc-members: