Newclid
=======

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

-----------

.. toctree::
   :maxdepth: 4

   newclid.agent
   newclid.animation
   newclid.deductors
   newclid.draw
   newclid.ggb
   newclid.heuristics
   newclid.jgex
   newclid.justifications
   newclid.numerical
   newclid.predicates
   newclid.problems
   newclid.rule_matching
   newclid.symbols

----------

.. toctree::
   :maxdepth: 4

   newclid.all_rules
   newclid.api
   newclid.api_defaults
   newclid.cli
   newclid.llm_input
   newclid.predicate_types
   newclid.problem
   newclid.proof_data
   newclid.proof_justifications
   newclid.proof_state
   newclid.proof_writing
   newclid.rng
   newclid.rule
   newclid.run_loop
   newclid.tools
   newclid.webapp