2 results found Sort:

affeldt-aist
monae affeldt-aist
12
68
lgpl-2.1
6
Monadic effects and equational reasonig in Coq
monads mathcomp math-comp ssreflect nondeterminism monadic-effects monad-transformers probabilistic-programming
Created 2018-08-06
681 commits to master branch, last one 27 days ago
affeldt-aist
infotheo affeldt-aist
15
64
lgpl-2.1
6
A Coq formalization of information theory and linear error-correcting codes
mathcomp convexity math-comp ssreflect probability information-theory error-correcting-codes
Created 2017-12-20
879 commits to master branch, last one 27 days ago