#Proof-assistant

Showing 2 of 2 repositories tagged #proof-assistant, ranked by stars

Jupyter kernel for Coq

★ 95 ⑂ 9 —

★ 75 ⑂ 9 —

Related Topics

#coq #dependent-types #jupyter #jupyter-extension #jupyter-kernels #jupyter-notebook #kernel #python-pa #theorem-proving #artificial-intelligence #conjecture #domain-specific-language