Nifty, you can run Coq in a web browser with a notebook-style interface!
miniblog.
Related Posts
Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
Perhaps we should consider package managers to be more foundational than programming languages.
npm: Javascript, Typescript, CSS
distro packages: C, C++
maven: Java, Clojure (to some extent)
NuGet: C#, F#
opam: OCaml, Coq