package coq-monae

You can search for identifiers within the package.

in-package search v0.2.0

Monads and equational reasoning in Rocq

Install

Dune Dependency

github.com Edit opam file Versions (30)

Authors

Maintainers

R

Reynald Affeldt <reynald.affeldt@aist.go.jp>

Description

This Rocq 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:2026-04-07

Published: 21 Apr 2026

Dependencies (1)

rocq-monae = "0.9.2"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts