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

rename subr_le0 #72

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

https://github.com/affeldt-aist/infotheo/blob/2d094fbeb6e7e260c672f413ab638f4ecbefc203/lib/ssrR.v#L470

should be subR_le0