LICENSE
MANIFEST.in
README.md
setup.cfg
setup.py
coq_jupyter/__init__.py
coq_jupyter/__main__.py
coq_jupyter/coqtop.py
coq_jupyter/install.py
coq_jupyter/kernel.js
coq_jupyter/kernel.py
coq_jupyter/renderer.py
coq_jupyter.egg-info/PKG-INFO
coq_jupyter.egg-info/SOURCES.txt
coq_jupyter.egg-info/dependency_links.txt
coq_jupyter.egg-info/requires.txt
coq_jupyter.egg-info/top_level.txt