pycoq icon indicating copy to clipboard operation
pycoq copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

goal: a jupyter build, probably docker image.

Open quinn-dougherty opened this issue 3 years ago • 1 comments

let the user use pycoq in a notebook.

quinn-dougherty avatar Nov 05 '21 05:11 quinn-dougherty

Good idea, note also https://github.com/EugeneLoy/coq_jupyter and https://github.com/ejgallego/coq-serapi/issues/17

ejgallego avatar Nov 05 '21 11:11 ejgallego