#Python-pa

Showing 1 of 1 repositories tagged #python-pa, ranked by stars

Jupyter kernel for Coq

★ 95 ⑂ 9 —

Related Topics

#coq #dependent-types #jupyter #jupyter-extension #jupyter-kernels #jupyter-notebook #kernel #proof-assistant #theorem-proving