coq-proba
coq-proba copied to clipboard
Published
20 hours ago •
jtassarotti
jtassarotti
A Probability Theory Library for the Coq Theorem Prover
Results
2
coq-proba issues
Sort by
recently updated
recently updated
newest added
Any chance of a GitHub release of this project? This would allow easy packaging in Coq's [OPAM repo](https://github.com/coq/opam-coq-archive) which leads to better exposure/visibility (and hopefully more external contributions).
Metadata
44
Stars
5
Forks
Watchers
Owner
Metadata
A Probability Theory Library for the Coq Theorem Prover