Reviews
Monadic effects and equational reasonig in Coq
Search similar apps
License
GNU Lesser General Public License v2.1
Related apps
infotheo
A Coq formalization of information theory and linear error-correcting codes
Coq60lgpl-2.1
5 months ago
convexityerror-correcting-codesinformation-theory