package coq-infotheo

  1. Overview
  2. No Docs

Description

Infotheo is a Coq library for reasoning about discrete probabilities, information theory, and linear error-correcting codes.

Dev Dependencies (2)

  1. coq-mathcomp-ssreflect (>= "1.14.0" & < "1.18~") | (= "dev")
  2. coq (>= "8.15" & < "8.17~") | (= "dev")

Used by (1)

  1. coq-monae = "0.0.2" | = "0.2.1" | >= "0.4.4" & < "0.6.0"

Conflicts

None