coq-infotheo

Infotheo

opam install coq-infotheo.0.2
homepage
https://github.com/affeldt-aist/infotheo
license
LGPL-2.1-or-later
bugs tracker
https://github.com/affeldt-aist/infotheo/issues
dependencies
"coq" {>= "8.11" & < "8.13~"} "coq-mathcomp-field" {>= "1.11" & < "1.12~"} "coq-mathcomp-analysis" {>= "0.3.2" & < "0.4~"}
source
https://github.com/affeldt-aist/infotheo/archive/0.2.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-infotheo/coq-infotheo.0.2