Monadic effects and equational reasonig in Coq
monads
probabilistic-programming
monad-transformers
ssreflect
mathcomp
math-comp
nondeterminism
monadic-effects
-
Updated
May 24, 2024 - Coq
Monadic effects and equational reasonig in Coq
Formalized laws for mtl
An mtl-like library for dealing with effects in Coq
A library of coq type classes and instances.
Add a description, image, and links to the monad-transformers topic page so that developers can more easily learn about it.
To associate your repository with the monad-transformers topic, visit your repo's landing page and select "manage topics."