cottax.core.realisation.proof module
====================================

.. automodule:: cottax.core.realisation.proof
   :members:
   :show-inheritance:
   :undoc-members: