zarversion
Formally verified sampling from discrete probability distributions
See the paper (to appear in PLDI'23) and Github repository.
| Tags | zar random sampler verified coq discrete |
|---|---|
| Author | Alexander Bagnall |
| License | MIT |
| Published | |
| Homepage | https://github.com/bagnalla/ocamlzar |
| Issue Tracker | https://github.com/bagnalla/ocamlzar/issues |
| Maintainer | Alexander Bagnall <abagnalla@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/bagnalla/ocamlzar/releases/download/0.9.1/zar-0.9.1.tbz sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zar/zar.0.9.1/opam |
No package is dependent
