package coq-monae

  1. Overview
  2. No Docs
Monads and equational reasoning in Coq

Install

Dune Dependency

github.com Edit opam file Versions (27)

Authors

  1. R
    Reynald Affeldt
  2. D
    David Nowak
  3. T
    Takafumi Saikawa
  4. Jacques Garrigue
  5. C
    Celestine Sauvage
  6. K
    Kazunari Tanaka

Maintainers

  1. R
    reynald.affeldt@aist.go.jp

Sources

0.2.tar.gz
sha512=ac190d9fccd104d9d2e73a6b770efcd64554090ff4cce9eaddabea31f3ef8c8d8b9f73bd35efdd5d9a958c789eb8e380c4866eae3eb6dcafe9028f194b7b5c80

Description

This Coq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning.

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword: monads keyword: effects keyword: probability keyword: nondeterminism logpath:monae date:2020-10-31

Published: 31 Oct 2020

Dependencies (3)

  1. coq-paramcoq >= "1.1.2" & < "1.2~"
  2. coq-infotheo >= "0.2" & < "0.3~"
  3. coq >= "8.11" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None