package coq-infotheo

  1. Overview
  2. No Docs
Infotheo

Install

Dune Dependency

github.com Edit opam file Versions (35)

Authors

  1. R
    Reynald Affeldt
  2. M
    Manabu Hagiwara
  3. J
    Jonas Senizergues
  4. Jacques Garrigue
  5. K
    Kazuhiko Sakaguchi
  6. T
    Taku Asai
  7. T
    Takafumi Saikawa
  8. N
    Naruomi Obata
  9. E
    Erik Martin-Dorel

Maintainers

  1. R
    reynald.affeldt@aist.go.jp

Sources

0.0.1.tar.gz
md5=e6afd4e32db51b6bace854f65324b32e

Description

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

Published: 28 Jun 2019

Dependencies (3)

  1. coq-mathcomp-analysis (>= "0.2.0" & <= "0.2.2")
  2. coq-mathcomp-field (>= "1.9.0") & < "1.10.0~"
  3. coq (>= "8.9.1" & < "8.10.0~")

Dev Dependencies

None

Used by (1)

  1. coq-monae < "0.0.2"

Conflicts

None