coq-jupyter (pypi): Coq kernel for Jupyter
Keywords: coq|dependent-types|jupyter|jupyter-extension|jupyter-kernels|jupyter-notebook|kernel|proof-assistant|python-pa|theorem-proving