affeldt-aist / infotheo

A Coq formalization of information theory and linear error-correcting codes
68Updated 2 weeks ago

Alternatives and similar repositories for infotheo:

Users that are interested in infotheo are comparing it to the libraries listed below