1 result found Sort:

EugeneLoy
coq_jupyter EugeneLoy
7
90
apache-2.0
4
Jupyter kernel for Coq
coq kernel jupyter python-pa dependent-types jupyter-kernels proof-assistant theorem-proving jupyter-notebook jupyter-extension
Created 2018-12-26
155 commits to master branch, last one 5 months ago