ACCEPTANCE_CRITERIA.md
IMPLEMENTATION_REPORT.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
stateproof-logo.jpeg
stateproof/__init__.py
stateproof/cli.py
stateproof/core.py
stateproof/proof.py
stateproof.egg-info/PKG-INFO
stateproof.egg-info/SOURCES.txt
stateproof.egg-info/dependency_links.txt
stateproof.egg-info/entry_points.txt
stateproof.egg-info/requires.txt
stateproof.egg-info/top_level.txt
tests/test_core.py