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 1.12 #21

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

TODO: get rid of the big_enumP warnings as well (they will become error with the next release)

@garrigue @t6s