LICENSE
README.md
pyproject.toml
touchstone/__init__.py
touchstone/__main__.py
touchstone/_impl.py
touchstone/audit.py
touchstone/benchmark.py
touchstone/ci.py
touchstone/cli.py
touchstone/core.py
touchstone/domains.py
touchstone/engines.py
touchstone/examples.py
touchstone/pytest_plugin.py
touchstone/smtcoq_export.py
touchstone/soundinfer.py
touchstone/theories.py
touchstone/typeinfer.py
touchstone/vcgen.py
touchstone_prover.egg-info/PKG-INFO
touchstone_prover.egg-info/SOURCES.txt
touchstone_prover.egg-info/dependency_links.txt
touchstone_prover.egg-info/entry_points.txt
touchstone_prover.egg-info/requires.txt
touchstone_prover.egg-info/top_level.txt