github.com/EugeneLoy/coq_jupyter (go): Jupyter kernel for Coq
Keywords: coq|dependent-types|jupyter|jupyter-extension|jupyter-kernels|jupyter-notebook|kernel|proof-assistant|python-pa|theorem-proving