github.com/affeldt-aist/infotheo (go): A Coq formalization of information theory and linear error-correcting codes
Keywords: convexity|error-correcting-codes|information-theory|math-comp|mathcomp|probability|ssreflect