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.2.tar.gz
(21.6 kB
view hashes)
Built Distribution
Close
Hashes for coq_jupyter-1.5.2-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ed6d28402e4addd85037cb358efb46ffa330e1a6e0f49e1e8672024dcb0172e0 |
|
MD5 | 91809aad5a386e5581ce4f8509e18252 |
|
BLAKE2b-256 | 875756c692181fd158bae066c8fb61ff0ac1a5c2a5403687b2717daa99b0a46f |