Nifty, you can run Coq in a web browser with a notebook-style interface!
miniblog.
Related Posts
Intriguing post by @Chis_Andrei exploring the use of unit tests to provide live examples of objects to demonstrate APIs. He even shows a notebook style UI and exploring related code!
@cstanhope runkit: https://runkit.com/ is a notebook-style UI that has stronger reproducibility guarantees AIUI.
Jupyter is still exploring this space and I don't think there's a standard tool for enforcing reproducibility there.
Fair criticism of Jupyter Notebooks, and how hard it is to apply good software engineering: https://medium.com/@alexander.mueller/5-reasons-why-jupyter-notebooks-suck-4dc201e27086
It's hard to transition from code in a notebook to standalone program or reusable library in my experience. I think a less stateful design would really help.