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

0.1.2.tar.gz
sha512=fc06a3dc53e180940478ca8ec02755432c1fb29b6ed81f3312731a1d0435dbe67e78db5201a92e40c7f23068fc5d9343414fc06676bf3adf402836e8c69b0229

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-08-13

Published: 13 Aug 2020

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None