coq_jupyter

Jupyter kernel for Coq

GitHub
93 stars
4 watching
7 forks
Language: Python
last commit: about 1 month ago
Linked from 2 awesome lists

coqdependent-typesjupyterjupyter-extensionjupyter-kernelsjupyter-notebookkernelproof-assistantpython-patheorem-proving

Backlinks from these awesome lists: