README.md
pt_verify.py
pyproject.toml
prooftrail_verify.egg-info/PKG-INFO
prooftrail_verify.egg-info/SOURCES.txt
prooftrail_verify.egg-info/dependency_links.txt
prooftrail_verify.egg-info/entry_points.txt
prooftrail_verify.egg-info/requires.txt
prooftrail_verify.egg-info/top_level.txt
tests/test_pt_verify.py