Ecosyste.ms: Packages

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

pypi.org "dependent-types" keyword

coq-jupyter 1.6.2

Coq kernel for Jupyter
12 versions - Latest release: 4 months ago - 3 dependent repositories - 108 downloads last month - 89 stars on GitHub - 1 maintainer

Related Keywords

coq 1 jupyter 1 jupyter-extension 1 jupyter-kernels 1 jupyter-notebook 1 kernel 1 proof-assistant 1 python-pa 1 theorem-proving 1