Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "coq" keyword
zarpy 1.0.1
Formally verified biased coin and n-sided die4 versions - Latest release: about 1 year ago - 53 downloads last month - 4 stars on GitHub - 1 maintainer
coq-jupyter 1.6.2
Coq kernel for Jupyter12 versions - Latest release: 4 months ago - 3 dependent repositories - 108 downloads last month - 89 stars on GitHub - 1 maintainer
pytactician 15.1
Python Library for interfacing with Coq and Tactician2 versions - Latest release: 7 months ago - 2 dependent packages - 153 downloads last month - 1 stars on GitHub - 1 maintainer
Related Keywords
theorem-proving
2
proving-agent
1
proof-synthesis
1
machine-learning
1
coq-plugin
1
python-pa
1
proof-assistant
1
kernel
1
jupyter-notebook
1
jupyter-kernels
1
jupyter-extension
1
jupyter
1
dependent-types
1
sampling
1
probabilistic-programming
1
formal-verification
1
compiler
1
verified
1
die
1
uniform
1
bernoulli
1
coin
1
biased
1
sampler
1
random
1
zarpy
1
zar
1