coq_jupyter
coq_jupyter copied to clipboard
EugeneLoy
Jupyter kernel for Coq
Hello, There were a few questions related to coq_jupyter in the [Coq Community Survey 2022](https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730). Here is the information we gathered. - To the question "Which editors or IDEs have...
So you quickly can see how it works without opening the demo or installing yourself.
TBD Follow up on: https://coq.discourse.group/t/jupyter-kernel-for-coq/256/2
Followup for discussion started in #28. Relevant quotes: > One remark for possible future work is that since you are using the XML protocol, it should be possible (in theory,...
Might be useful to access (browse code, rollback) deleted cells.
For some reason on newer versions of tornado tests fail to start properly. Tests work fine with 'tornado==5.1.1'. Investigate this issue. Reference: https://travis-ci.com/EugeneLoy/coq_jupyter/builds/102855885
Vernacular and tactics seem a bit out of date.
It might be a good idea to partly reuse CodeMirror mode (see: #19).