EugeneLoy/coq_jupyter

Jupyter kernel for Coq

1 best points · 1 comments · 1 Hacker News post · 95 GitHub stars · View on GitHub

Hacker News discussions