search

Zimmi48 / coq-jupyter-environment

A binder environment relying on Conda to install Coq and the coq_jupyter kernel.
2 stars 1 forks source link

installing "jupyter_console" for debugging #1

Closed haraldschilly closed 4 years ago

haraldschilly commented 4 years ago

this can't hurt