README.md
pyproject.toml
axiomatic_verifier/__init__.py
axiomatic_verifier/jcs.py
axiomatic_verifier/verifier.py
axiomatic_verifier.egg-info/PKG-INFO
axiomatic_verifier.egg-info/SOURCES.txt
axiomatic_verifier.egg-info/dependency_links.txt
axiomatic_verifier.egg-info/requires.txt
axiomatic_verifier.egg-info/top_level.txt