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.6.2.tar.gz
(22.7 kB
view hashes)
Built Distribution
Close
Hashes for coq_jupyter-1.6.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 136ac6ff2dd530a8cd102ab3a3fcfe72f1ceff80062caf6bc862860fa346640a |
|
MD5 | ab60b772d41ec49d89a0b77c22b2f74a |
|
BLAKE2b-256 | e29aaaaeda95d50e367a4515552d522a3dfd46a5b495a5f3ad882732fbcc12b6 |