Links for coq-jupyter
coq_jupyter-1.5.2-py2.py3-none-any.whl
coq_jupyter-1.5.2.tar.gz
coq_jupyter-1.5.3-py2.py3-none-any.whl
coq_jupyter-1.5.3.tar.gz
coq_jupyter-1.6.0-py3-none-any.whl
coq_jupyter-1.6.0.tar.gz