package coq-alea

  1. Overview
  2. No Docs
Coq library for reasoning on randomized algorithms

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. C
    Christine Paulin-Mohring
  2. D
    David Baelde
  3. P
    Pierre Courtieu

Maintainers

  1. A
    anton.a.trunov@gmail.com

Sources

v8.12.0.tar.gz
sha512=eca50e7804b3ab29294d6a41e34d3207298c5f72086b82b4ce3387fc479505e930ac83159d214f378adb1f6d351e72849c14341581db4490bbc2a20a249959ab

Description

ALEA is a library for reasoning on randomized algorithms in Coq, based on interpreting programs inside a monad as probability distributions.

Tags

category:Computer Science/Data Types and Data Structures keyword:randomized algorithm keyword:probability keyword:monads logpath:ALEA

Published: 03 Nov 2021

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.12" & < "8.15~") | (= "dev")

Used by

None

Conflicts

None