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

4.0.0.tar.gz
sha512=5474977a355de77a7775f70cc885164058f5b7ffa122c914fc53b43db08b238c354e0ef99cbcb53b1e9a24640357cd1902c0afe3ed512c24da3d1c8ce006e5b3

Description

Tags

org:deepspec logpath: ITree date: 2021-03-15

Published: 15 Mar 2021

Dependencies (4)

  1. dune >= "2.6"
  2. coq-paco >= "4.0.1" & < "4.2"
  3. coq-ext-lib >= "0.11.1" & < "0.12"
  4. coq >= "8.10"

Dev Dependencies

None

Conflicts

None