pyk.proof.tui module
====================

.. automodule:: pyk.proof.tui
   :members:
   :undoc-members:
   :show-inheritance: