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