monae in coq-community/awesome-coq

Monadic effects and equational reasonig in Coq

created at Aug. 6, 2018, 12:36 a.m.

6 +0

68 +0

12 +0

infotheo in coq-community/awesome-coq

A Coq formalization of information theory and linear error-correcting codes

created at Dec. 20, 2017, 11:51 p.m.

6 +0

64 +0

15 +0