package coq-itree

You can search for identifiers within the package.

in-package search v0.2.0

Library for representing recursive and impure programs with equational reasoning

Install

Dune Dependency

github.com Edit opam file Versions (12)

Authors

Maintainers

L

Li-yao Xia <lysxia@gmail.com>

Sources

sha512=61855219d7fe88094c5491a483bb686b4bef33f6c109e857c0bef6568c11647c9a9544275b85b5ae1dce93be184f02114059e1bf9ec59e89909a571567d11b7a

Description

Tags

org:deepspec logpath: ITree date:2024-04-02

Published: 04 Apr 2024

Dependencies (4)

coq-paco >= "4.0.1"
coq-ext-lib >= "0.11.1"
coq >= "8.13"
dune >= "3.14"

Dev Dependencies

None

Used by (6)

coq-ctree
coq-itree-extra < "5.2.1"
coq-itree-io
coq-vellvm >= "v2.0.20250110"
coq-wasm < "2.0.1"
rocq-vellvm < "v3.0.20260707"

Conflicts

None

On This Page

Description
Dependencies (4)
Dev Dependencies
Used by (6)
Conflicts