Hi, I’ve been developing Coq kernel for Jupyter notebooks for some time now and I think it is ready to be shared with community.
Kernel itself can be found here.
You can try online demo here.
What do you guys think? Is there something you’d like to see added/improved?