LICENSE
README.md
pyproject.toml
proofside/__init__.py
proofside/__main__.py
proofside/acceptance.py
proofside/artifacts.py
proofside/batch.py
proofside/cli.py
proofside/contracts.py
proofside/proposal.py
proofside/specification.py
proofside.egg-info/PKG-INFO
proofside.egg-info/SOURCES.txt
proofside.egg-info/dependency_links.txt
proofside.egg-info/entry_points.txt
proofside.egg-info/requires.txt
proofside.egg-info/top_level.txt
tests/test_acceptance.py
tests/test_artifacts.py
tests/test_batch.py
tests/test_batch_proposal.py
tests/test_cli.py
tests/test_contracts.py
tests/test_integration.py
tests/test_proposal.py
tests/test_specification.py