Metadata-Version: 2.1
Name: coq_jupyter
Version: 1.6.1
Summary: Coq kernel for Jupyter
Home-page: https://github.com/EugeneLoy/coq_jupyter
Author: Eugene Loy
Author-email: eugeny.loy@gmail.com
Classifier: Development Status :: 4 - Beta
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: POSIX :: Linux
Classifier: Framework :: Jupyter
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Software Development
License-File: LICENSE
Requires-Dist: jupyter_client
Requires-Dist: IPython
Requires-Dist: ipykernel
Requires-Dist: future
Requires-Dist: pexpect>=4.0

Jupyter kernel for Coq.
See: https://github.com/EugeneLoy/coq_jupyter
