github.com/affeldt-aist/monae (go): Monadic effects and equational reasonig in Coq
Keywords: math-comp|mathcomp|monad-transformers|monadic-effects|monads|nondeterminism|probabilistic-programming|ssreflect