LICENSE
README.md
pyproject.toml
eqtheory/__init__.py
eqtheory/cli.py
eqtheory/completion.py
eqtheory/config.py
eqtheory/egraph.py
eqtheory/llm.py
eqtheory/proofs.py
eqtheory/solve.py
eqtheory/terms.py
eqtheory/viz.py
eqtheory.egg-info/PKG-INFO
eqtheory.egg-info/SOURCES.txt
eqtheory.egg-info/dependency_links.txt
eqtheory.egg-info/entry_points.txt
eqtheory.egg-info/requires.txt
eqtheory.egg-info/top_level.txt
eqtheory/lean/__init__.py
eqtheory/lean/certs.py
eqtheory/lean/check.py
eqtheory/models/__init__.py
eqtheory/models/finite.py
eqtheory/models/infinite.py
tests/test_completion_and_certs.py
tests/test_config.py
tests/test_egraph.py
tests/test_lean.py
tests/test_models.py
tests/test_more.py
tests/test_solve_llm_cli.py
tests/test_terms.py