package coq-monae

  1. Overview
  2. No Docs
Monae

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

v0.1.1.tar.gz
sha512=942ce1a4160e4237e596899a8987739f2c5789340073ba1690e62212e99dee32a4d63cd6f253fde6fd04b8e41cab89f50f16254aed03af41206d8b9597be95f6

Description

This repository contains a formalization of monads including several models, examples of monadic equational reasoning, and an application to program semantics.

Tags

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

Published: 12 Jun 2020

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None