1 result found Sort:

affeldt-aist
monae affeldt-aist
13
70
lgpl-2.1
5
Monadic effects and equational reasonig in Coq
monads mathcomp math-comp ssreflect nondeterminism monadic-effects monad-transformers probabilistic-programming
Created 2018-08-06
691 commits to master branch, last one 10 days ago