package coq-infotheo

  1. Overview
  2. No Docs

Description

a Coq formalization of information theory and linear error-correcting codes

Dependencies (3)

  1. coq-mathcomp-analysis >= "0.3.1" & < "0.3.3~"
  2. coq-mathcomp-field >= "1.11" & < "1.12~"
  3. coq >= "8.11" & < "8.12~"

Dev Dependencies

None

Used by (2)

  1. coq-ceramist >= "1.0.1"
  2. coq-monae = "0.0.2" | = "0.1.1"

Conflicts

None