https://github.com/EugeneLoy/coq_jupyter
Python93
10 months ago
Jupyter kernel for Coq
Apache License 2.0