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
migration from coq R to mca R
#126
Open
t6s
opened
3 months ago