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

fixes #74 #77

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

fyi @t6s

fixes #74

t6s commented 2 years ago

looks fine