replace boolean inequalities with Rstruct's ones

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

Closed affeldt-aist closed 1 year ago

affeldt-aist commented 3 years ago

@t6s @garrigue