issues
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
readme