EugeneLoy / coq_jupyter

Jupyter kernel for Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

EugeneLoy/coq_jupyter Stargazers