coq_jupyter
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Jupyter kernel for Coq
94 stars
4 watching
7 forks
Language: Python
last commit: 6 months ago
Linked from 2 awesome lists
coqdependent-typesjupyterjupyter-extensionjupyter-kernelsjupyter-notebookkernelproof-assistantpython-patheorem-proving
Related projects:
Repository | Description | Stars |
---|---|---|
| Python bindings for Coq's interactive proof assistant | 50 |
| A tool for interactive theorem proving and language support in Coq | 153 |
| A learning environment for theorem proving with the Coq proof assistant | 388 |
| A tutorial project on using Coq to mechanize mathematics with dependent types | 160 |
| A Jupyter kernel extension that integrates ACL2 theorem proving into interactive computing environments. | 4 |
| A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections. | 14 |
| An IPython kernel specifically designed for Robot Framework testing and execution in Jupyter Notebooks and Lab environments. | 75 |
| A collection of Jupyter Notebook examples showcasing the use of the Earth Engine Python API | 87 |
| A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
| Enables interactive proof development in Vim similar to other proof assistants. | 274 |
| Formal verification of Python code using Coq | 30 |
| A Jupyter kernel and notebook extension that integrates Xonsh shell into interactive computing environments. | 35 |
| A Jupyter kernel for the Nim programming language. | 164 |
| Tool for generating Coq definitions and proofs for locally nameless representations | 30 |