1 result found Sort:

EugeneLoy
coq_jupyter EugeneLoy
7
94
apache-2.0
5
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 about a year ago