LICENSE
MANIFEST.in
README.md
pyproject.toml
coq/__init__.py
coq/example.py
coq.egg-info/PKG-INFO
coq.egg-info/SOURCES.txt
coq.egg-info/dependency_links.txt
coq.egg-info/requires.txt
coq.egg-info/top_level.txt
tests/test_example.py