package coq-infotheo

  1. Overview
  2. No Docs
Discrete probabilities and information theory for Coq

Install

Dune Dependency

github.com Edit opam file Versions (35)

Authors

  1. R
    Reynald Affeldt, AIST
  2. M
    Manabu Hagiwara, Chiba U. (previously AIST)
  3. J
    Jonas Senizergues, ENS Cachan (internship at AIST)
  4. Jacques Garrigue
  5. K
    Kazuhiko Sakaguchi, Tsukuba U.
  6. T
    Taku Asai, Nagoya U. (M2)
  7. T
    Takafumi Saikawa, Nagoya U.
  8. N
    Naruomi Obata, Titech (M2)

Maintainers

  1. R
    Reynald Affeldt <reynald.affeldt@aist.go.jp>

Sources

0.5.2.tar.gz
sha512=8abf0a7d6782c6fc7d92a4222d3051f6992c5de1541c9ea26f3c11cd87145bf1fee5348791e64b12eeae9fb2aea8c3fdb4e2d8f03dd84556c83a135781dc6c28

Description

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

Tags

keyword:information theory keyword:probability keyword:error-correcting codes keyword:convexity logpath:infotheo date:2023-06-03

Published: 06 Jun 2023

Dev Dependencies

None

Used by (1)

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

Conflicts

None