package coq-itree

  1. Overview
  2. No Docs
A Library for Representing Recursive and Impure Programs in Coq

Install

Dune Dependency

github.com Edit opam file Versions (11)

Authors

  1. L
    Li-yao Xia <lysxia@gmail.com>
  2. Y
    Yannick Zakowski <zakowski@seas.upenn.edu>
  3. P
    Paul He <paulhe@seas.upenn.edu>
  4. C
    Chung-Kil Hur <gil.hur@gmail.com>
  5. G
    Gregory Malecha <gmalecha@gmail.com>
  6. S
    Steve Zdancewic <stevez@cis.upenn.edu>
  7. B
    Benjamin C. Pierce <bcpierce@cis.upenn.edu>

Maintainers

  1. L
    Li-yao Xia <lysxia@gmail.com>

Sources

3.0.0.tar.gz
sha512=d76b5ae799a18cfef477adea6ffe7fb7c37dc19f4cb2eca4510331bae306932c4ed1aa6e782ca9ff27895a7361e8c9d878de35f3b3c37ef48cc8734f488d83a5

Description

Tags

org:deepspec

Published: 20 Jan 2020

Dependencies (3)

  1. coq-paco >= "4.0.0" & < "4.1.0"
  2. coq-ext-lib = "0.10.3"
  3. coq >= "8.8" & < "8.11~"

Dev Dependencies (1)

  1. ocamlbuild with-test

Used by

None

Conflicts

None