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

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated