package coq-monae
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Monads and equational reasoning in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.5.tar.gz
sha512=0752ba8a91aff1c756fbb3c4995a35de564c52d61bf317ad0bf04fc25340a03b770baa0c21b9f14834711fed2cc3a92252a9b56c943b98727d7c24971dea58db
Description
This Coq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning.
Tags
keyword:monae keyword:effects keyword:probability keyword:nondeterminism logpath:monae date:2023-02-26Published: 25 Feb 2023
Dependencies (9)
-
coq-equations
>= "1.3" & < "1.4~" -
coq-hierarchy-builder
>= "1.3.0" -
coq-paramcoq
>= "1.1.3" & < "1.2~" -
coq-infotheo
>= "0.5.0" & < "0.6~" -
coq-mathcomp-analysis
(>= "0.5.4") - coq-mathcomp-field
- coq-mathcomp-solvable
- coq-mathcomp-algebra
- coq-mathcomp-fingroup
Dev Dependencies (2)
-
coq-mathcomp-ssreflect
(>= "1.14.0" & < "1.18~") | (= "dev") -
coq
(>= "8.15" & < "8.18~") | (= "dev")
Used by
None
Conflicts
None
On This Page