LICENSE
README.md
pyproject.toml
touchstone_prover.py
touchstone/__init__.py
touchstone/__main__.py
touchstone/_impl.py
touchstone/_partriage.py
touchstone/_sandbox_child.py
touchstone/audit.py
touchstone/ci.py
touchstone/cli.py
touchstone/core.py
touchstone/diagnostics.py
touchstone/domains.py
touchstone/engines.py
touchstone/examples.py
touchstone/inference.py
touchstone/lsp.py
touchstone/mcp.py
touchstone/peer_bench.py
touchstone/pytest_plugin.py
touchstone/report.py
touchstone/repro.py
touchstone/sarif.py
touchstone/typeeval.py
touchstone/vcgen.py
touchstone/_generated/__init__.py
touchstone/_generated/_transpile.py
touchstone/_generated/encoders.json
touchstone/_generated/encoders_rocq.py
touchstone/_generated/encoding.json
touchstone/_generated/encoding_rocq.py
touchstone/_generated/intervals.json
touchstone/_generated/intervals_rocq.py
touchstone/_generated/vcgen.json
touchstone/_generated/vcgen_rocq.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