Coq kernel for Jupyter
Project description
Jupyter kernel for Coq. See: https://github.com/EugeneLoy/coq_jupyter
Project details
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
coq_jupyter-1.5.1.tar.gz
(21.3 kB
view hashes)
Built Distribution
Close
Hashes for coq_jupyter-1.5.1-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1f157e3240aba84fcbfc97c8ec718e8153a9d4111be6e3575319a4ae56aeafd1 |
|
MD5 | 272a19c4adf07d03dff24a240e3a6a3a |
|
BLAKE2b-256 | 6d54e6050412702f245000e8476d5d58efe37cbc0ad96162541b442bf8b81775 |