Reviews
A Coq formalization of information theory and linear error-correcting codes
Search similar apps
License
GNU Lesser General Public License v2.1
A Coq formalization of information theory and linear error-correcting codes
Creator
Related apps
monae
Monadic effects and equational reasonig in Coq
Coq67lgpl-2.1
5 months ago
math-compmathcompmonad-transformers