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
refactoring
#33
Closed
t6s
closed
3 years ago
t6s
commented
3 years ago
Collect fsdist-related things more in fsdist.v
Add comments in convex_choice.v and necset.v