Justifications
==============

.. automodule:: newclid.justifications
   :members:
   :show-inheritance:
   :undoc-members:

----------

.. toctree::
   :maxdepth: 4

   newclid.justifications.justification
   newclid.justifications.justify_predicates
   newclid.justifications.predicates_graph