README.md
pyproject.toml
axiomatic_proofkit/__init__.py
axiomatic_proofkit/build.py
axiomatic_proofkit/jcs.py
axiomatic_proofkit/publish.py
axiomatic_proofkit.egg-info/PKG-INFO
axiomatic_proofkit.egg-info/SOURCES.txt
axiomatic_proofkit.egg-info/dependency_links.txt
axiomatic_proofkit.egg-info/requires.txt
axiomatic_proofkit.egg-info/top_level.txt