Coq kernel for Jupyter
Project description
[](https://badge.fury.io/py/coq_jupyter) [](https://travis-ci.com/EugeneLoy/coq_jupyter) [](https://mybinder.org/v2/gh/EugeneLoy/coq_jupyter_demo/master?filepath=demo.ipynb)
A [Jupyter](https://jupyter.org/) kernel for [Coq](https://coq.inria.fr/).
You can try it online in [Binder](https://mybinder.org/v2/gh/EugeneLoy/coq_jupyter_demo/master?filepath=demo.ipynb).
To install:
pip install coq_jupyter python -m coq_jupyter.install
To use it, run one of:
jupyter notebook # In the notebook interface, select Coq from the ‘New’ menu jupyter qtconsole –kernel coq jupyter console –kernel coq
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for coq_jupyter-1.0.0-py2.py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 30aafa6402a3c3b7dc6d40f12a6c2cab53f3b83fd4288a74651bf92d9c447307 |
|
| MD5 | e7aee1cc5f0723f083ec002272d83e89 |
|
| BLAKE2b-256 | 7c5e31ebe4e61e1408878e0ada0df318cca2960fca2ae8ac796f11ce9ae1fbd9 |
](https://badge.fury.io/py/coq_jupyter){kind=link}
](https://travis-ci.com/EugeneLoy/coq_jupyter){kind=link}
](https://mybinder.org/v2/gh/EugeneLoy/coq_jupyter_demo/master){kind=link}