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
  10. R
    Ryosuke Obi
  11. M
    Mitsuharu Yamamoto

Maintainers

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

Sources

0.1.2.tar.gz
sha512=3ae60b960db080bdb176adf7713126d03e1046764da96114ac8bb89de427750819115505844a887b6b82b6250391ff869141f0cb1594c3f87fa1715d45de17ea

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-08-11

Published: 12 Aug 2020

Dependencies (3)

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

Dev Dependencies

None

Used by (2)

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

Conflicts

None