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

Maintainers

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

Sources

0.0.2.tar.gz
md5=c7de84a4703db763459fe0f90ec64b13

Description

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

Published: 19 Sep 2019

Dependencies (2)

  1. coq-infotheo (>= "0.0.4")
  2. coq (>= "8.9.1" & < "8.10.0~")

Dev Dependencies

None

Used by

None

Conflicts

None