1 result found Sort:

affeldt-aist
infotheo affeldt-aist
16
69
lgpl-2.1
5
A Coq formalization of information theory and linear error-correcting codes
mathcomp convexity math-comp ssreflect probability information-theory error-correcting-codes
Created 2017-12-20
1,009 commits to master branch, last one 2 days ago