EugeneLoy/coq_jupyter

Jupyter kernel for Coq

语言：Python · GitHub 星标：95 · Fork：9

话题：coq · dependent-types · jupyter · jupyter-extension · jupyter-kernels · jupyter-notebook · kernel · proof-assistant

在 GitHub 上查看原仓库