[go: up one dir, main page]

package zar

  1. Overview
  2. No Docs
Formally verified sampling from discrete probability distributions

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. A
    Alexander Bagnall

Maintainers

  1. A
    Alexander Bagnall <abagnalla@gmail.com>

Sources

zar-0.9.3.tbz
sha256=5fcb728b1c22dd8417e6fac5018f18de1b53e03bb008813ba0c6903c6276d8db
sha512=ca40c9ee51bff74ffbae80dd8d84dccee3a9d5e605b2aab965285f1e4f9aadc9cd1c74fc14dcdc331589c3b9aaf1857e4f642273908b196650402cd8e27de707

Description

See the paper (to appear in PLDI'23) and Github repository.

Tags

zar random sampler verified coq discrete

Published: 17 Feb 2024

Dependencies (2)

  1. dune >= "3.7"
  2. ocaml >= "4.14"

Dev Dependencies (4)

  1. odoc with-doc
  2. qcheck-alcotest with-test
  3. qcheck with-test
  4. alcotest with-test

Used by

None

Conflicts

None