infotheo
A Coq formalization of information theory and linear error-correcting codes
64 stars
6 watching
15 forks
Language: Coq
last commit: 10 days ago
Linked from 2 awesome lists
convexityerror-correcting-codesinformation-theorymath-compmathcompprobabilityssreflect
coq-community/awesome-coq
uhub/awesome-coq