LICENSE.txt
README.md
setup.cfg
setup.py
pyprover/__coconut__.py
pyprover/__init__.py
pyprover/atoms.py
pyprover/constants.py
pyprover/logic.py
pyprover/parser.py
pyprover/tests.py
pyprover/tools.py
pyprover/util.py
pyprover.egg-info/PKG-INFO
pyprover.egg-info/SOURCES.txt
pyprover.egg-info/dependency_links.txt
pyprover.egg-info/requires.txt
pyprover.egg-info/top_level.txt