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 #42 #47

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

Co-authored-by: t6s tscompor@gmail.com

split of PR #45

fixes #42

@t6s