issues
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
cleanup and comment
#56
Closed
t6s
closed
3 years ago
t6s
commented
3 years ago
removed one lemma which is unused and probably having no future use
commented some constructions on
FDist
, comparing them to the corresponding constructions on vector spaces
FDist
, comparing them to the corresponding constructions on vector spaces