Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

conda-forge.org "python-pa" keyword

coq-jupyter 1.6.0

Jupyter kernel for Coq
5 versions - Latest release: over 2 years ago - 80 stars on GitHub

Related Keywords

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