package coq-infotheo
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Infotheo
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.1.tar.gz
sha512=58420885549ae2bafbe95d68dc49a6a889ba26c1e536937971c04618461d1c183be4da68ed4ac6012a56877c309d61476d79a148900d5c91d616dca979bb8106
Description
a Coq formalization of information theory and linear error-correcting codes
Tags
category:Computer Science/Data Types and Data Structures keyword: information theory keyword: probability keyword: error-correcting codes logpath:infotheo date:2020-06-12Published: 12 Jun 2020
Dependencies (3)
-
coq-mathcomp-analysis
>= "0.3.1" & < "0.3.3~"
-
coq-mathcomp-field
>= "1.11" & < "1.12~"
-
coq
>= "8.11" & < "8.12~"
Dev Dependencies
None
Used by (2)
-
coq-ceramist
>= "1.0.1"
-
coq-monae
= "0.0.2" | = "0.1.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page