LICENSE
README.md
pyproject.toml
hylogic/__init__.py
hylogic/argument.hy
hylogic/cdcl.hy
hylogic/connectives.hy
hylogic/equality.hy
hylogic/euf.hy
hylogic/evaluate.hy
hylogic/exercise_sets.hy
hylogic/exercises.hy
hylogic/export.hy
hylogic/external.hy
hylogic/finite.hy
hylogic/formulas.hy
hylogic/ground.hy
hylogic/grounding.hy
hylogic/ipython.py
hylogic/lean.hy
hylogic/mcp_server.py
hylogic/models.hy
hylogic/problems.hy
hylogic/quantifiers.hy
hylogic/resolution.hy
hylogic/rewrite.hy
hylogic/sat.hy
hylogic/session.py
hylogic/superposition.hy
hylogic/terms.hy
hylogic/tptp.hy
hylogic/truth.hy
hylogic/unify.hy
hylogic.egg-info/PKG-INFO
hylogic.egg-info/SOURCES.txt
hylogic.egg-info/dependency_links.txt
hylogic.egg-info/entry_points.txt
hylogic.egg-info/requires.txt
hylogic.egg-info/top_level.txt
test/test_mcp.py
test/test_notebook.py