package coq-alea
Coq library for reasoning on randomized algorithms
Install
Dune Dependency
Authors
Maintainers
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:ALEAPublished: 03 Nov 2021
Dependencies
None
Dev Dependencies (1)
-
coq
(>= "8.12" & < "8.15~") | (= "dev")
Used by
None
Conflicts
None
On This Page