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. V
    vovaglad00@gmail.com

Sources

v8.11.0.tar.gz
sha512=4c6ac25da844f4f7d17209965283e03f4381ed23d04379a6e9a52430cc94a7c839a5054c2b08283bf4a7fbd27b966a2ffd9306e3b95f1586d4dbd99205460565

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: 27 Feb 2020

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.11" & < "8.13~") | (= "dev")

Used by

None

Conflicts

None