Nifty, you can run Coq in a web browser with a notebook-style interface! https://x80.org/rhino-coq/