package coq-infotheo
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Discrete probabilities and information theory for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.1.tar.gz
sha512=6f855f0060ca9e8a0224d59f48c83c4ccab5eb49f59149cb7b9526eeecc6616c506e075160bd495397a1235190bb9674cb1a07fbab4d4adb898d11588ec147d6
Description
Infotheo is a Coq library for reasoning about discrete probabilities, information theory, and linear error-correcting codes.
Tags
keyword:information theory keyword:probability keyword:error-correcting codes keyword:convexity logpath:infotheo date:2023-02-25Published: 25 Feb 2023
Dependencies (6)
-
coq-hierarchy-builder
>= "1.3.0"
-
coq-mathcomp-analysis
(>= "0.5.4") & (< "0.7~")
- coq-mathcomp-field
- coq-mathcomp-solvable
- coq-mathcomp-algebra
- coq-mathcomp-fingroup
Dev Dependencies (2)
-
coq-mathcomp-ssreflect
(>= "1.14.0" & < "1.18~") | (= "dev")
-
coq
(>= "8.15" & < "8.17~") | (= "dev")
Used by (1)
-
coq-monae
= "0.0.2" | = "0.2.1" | >= "0.4.4" & < "0.6.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page