coq_jupyter
by EugeneLoy
Jupyter kernel for Coq
AI summary
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
- stars
- 94
- forks
- 7
- watching
- 4
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Jupyter kernel
A Jupyter kernel extension that integrates ACL2 theorem proving into interactive computing environments.
MicroPython Kernel
A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections.
Test kernel
An IPython kernel specifically designed for Robot Framework testing and execution in Jupyter Notebooks and Lab environments.
Jupyter Notebooks
A collection of Jupyter Notebook examples showcasing the use of the Earth Engine Python API
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Coq verifier
Formal verification of Python code using Coq
Jupyter integration library
A Jupyter kernel and notebook extension that integrates Xonsh shell into interactive computing environments.
Nim Jupyter kernel
A Jupyter kernel for the Nim programming language.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq_jupyter.
