Ecosyste.ms: Packages

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

conda-forge.org "proof-assistant" keyword

coq 8.12.2
Coq is a formal proof management system. It provides a formal language to write mathematical defi...
8 versions - Latest release: over 3 years ago - 1 dependent package - 4,121 stars on GitHub
coq-jupyter 1.6.0
Jupyter kernel for Coq
5 versions - Latest release: over 2 years ago - 80 stars on GitHub
Related Keywords
coq 2 dependent-types 2 theorem-proving 2 jupyter 1 jupyter-extension 1 jupyter-kernels 1 jupyter-notebook 1 kernel 1 python-pa 1