https://github.com/EugeneLoy/coq_jupyter
Python86
2 years ago
Jupyter kernel for Coq
Apache License 2.0