All Git Users → EugeneLoy

1 open source projects by EugeneLoy

[ Open user page on Github ]

Jupyter kernel for Coq

✭ 70

python javascript kernel jupyter coq jupyter-notebook theorem-proving jupyter-kernels jupyter-extension python-pa

1-1 of 1 user projects