affeldt-aist/infotheo
A Coq formalization of information theory and linear error-correcting codes
CoqLGPL-2.1
Stargazers
No one’s star this repository yet.
A Coq formalization of information theory and linear error-correcting codes
CoqLGPL-2.1
No one’s star this repository yet.