search

affeldt-aist / infotheo

A Coq formalization of information theory and linear error-correcting codes
GNU Lesser General Public License v2.1
64 stars 15 forks source link

compatibility with mathcomp-analysis 0.3.10 #63

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

incompatibility observed by https://github.com/eupp (see https://github.com/coq/opam-coq-archive/pull/1796)