package coq-itree-extra

You can search for identifiers within the package.

in-package search v0.2.0

Extensions to coq-itree

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

Maintainers

L

Li-yao Xia <lysxia@gmail.com>

Sources

sha512=61855219d7fe88094c5491a483bb686b4bef33f6c109e857c0bef6568c11647c9a9544275b85b5ae1dce93be184f02114059e1bf9ec59e89909a571567d11b7a

Description

Tags

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

Published: 04 Apr 2024

Dependencies (5)

coq-itree >= "5.1.0"
coq-paco <= "4.2.0"
coq-ext-lib >= "0.11.1"
coq
dune >= "3.14"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by
Conflicts