Metadata-Version: 2.1
Name: coq-jupyter
Version: 1.6.0
Summary: Coq kernel for Jupyter
Home-page: https://github.com/EugeneLoy/coq_jupyter
Author: Eugene Loy
Author-email: eugeny.loy@gmail.com
License: UNKNOWN
Platform: UNKNOWN
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


