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

test compilation with mathcomp 1.11.0 #7

Closed affeldt-aist closed 4 years ago

affeldt-aist commented 4 years ago

Requires the master version of mathcomp-analysis which is not available yet as an opam package.