EugeneLoy/coq_jupyter_demo

Binder demo for coq_jupyter

Binder demo for coq_jupyter.

See: https://github.com/EugeneLoy/coq_jupyter