Counting 3,742 Big Data & Machine Learning Frameworks, Toolsets, and Examples...
Suggestion? Feedback? Tweet @stkim1

Author
Contributors
Last Commit
Apr. 13, 2019
Created
Dec. 26, 2018

PyPI version Build Status Join the chat at https://gitter.im/coq_jupyter/community badge

A Jupyter kernel for Coq.

You can try it online in Binder.

Installation

Make sure that CoqIDE (8.6 or newer) is installed and coqidetop (or coqtop for coq versions before 8.9.0) is in your PATH.

After that install using pip (works with python 2/3):

pip install coq-jupyter
python -m coq_jupyter.install

Backtracking

There are number of convenience improvements over standard Jupyter notebook behaviour that are implemented to support Coq-specific use cases.

By default, running cell will rollback any code that was executed in that cell before. If needed, this can be disabled on a per-cell basis (using Auto rollback checkbox).

Manual cell rollback is also available using Rollback cell button (at the bottom of executed cell) or shortcut (Ctrl+Backspace).

coqtop arguments

Use --coqtop-args to supply additional arguments to coqidetop/coqtop when installing kernel. In this case you might also want to set custom kernel name/display name using --kernel-name/--kernel-display-name.

For example, to add kernel that instructs coqidetop to load /workspace/init.v on startup:

python -m coq_jupyter.install --kernel-name=coq_with_init --kernel-display-name="Coq (with init.v)" --coqtop-args="-l /workspace/init.v"

Contributing

Give feedback with issues or gitter, send pull requests. Also check out CONTRIBUTING.md for instructions.

Latest Releases
v1.5.0
 Mar. 29 2019
v1.4.0
 Mar. 3 2019
v1.3.0
 Jan. 9 2019
v1.2.0
 Jan. 6 2019
v1.1.0
 Jan. 2 2019