README.md
pyproject.toml
automaze_proof.egg-info/PKG-INFO
automaze_proof.egg-info/SOURCES.txt
automaze_proof.egg-info/dependency_links.txt
automaze_proof.egg-info/top_level.txt
proof/__init__.py
proof/py.typed
tests/test_proof.py