package coq-itree

  1. Overview
  2. No Docs
Library for representing recursive and impure programs with equational reasoning

Install

Dune Dependency

github.com Edit opam file Versions (11)

Authors

  1. L
    Li-yao Xia
  2. Y
    Yannick Zakowski
  3. P
    Paul He
  4. C
    Chung-Kil Hur
  5. G
    Gregory Malecha
  6. S
    Steve Zdancewic
  7. B
    Benjamin Pierce

Maintainers

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

Sources

5.1.1.tar.gz
sha512=ab155c00cc067912d3e955451b7bc997ae8a24a637a25bb073ad6c17290f842ad42ae77144c13d7dc7224a30217c20844f31175eb116cbc30a5e135c29f41424

Description

Tags

org:deepspec logpath: ITree date:2023-03-17

Published: 17 Mar 2023

Dependencies (4)

  1. coq-paco >= "4.0.1"
  2. coq-ext-lib >= "0.11.1"
  3. coq >= "8.13" & < "8.18"
  4. dune >= "2.6"

Dev Dependencies

None

Conflicts

None