Newclid
=======

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

-----------

.. toctree::
   :maxdepth: 4

   newclid.agent
   newclid.algebraic_reasoning
   newclid.dependencies
   newclid.formulations
   newclid.numerical
   newclid.predicates

----------

.. toctree::
   :maxdepth: 4

   newclid.api
   newclid.configs
   newclid.load_geogebra
   newclid.match_theorems
   newclid.proof
   newclid.proof_writing
   newclid.run_loop
   newclid.statement
   newclid.tools
   newclid.webapp