package coq-itree-extra

  1. Overview
  2. No Docs
Extensions to coq-itree

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. L
    Lucas Silver
  2. I
    Irene Yoon
  3. P
    Paul He
  4. Y
    Yannick Zakowski
  5. S
    Steve Zdancewic

Maintainers

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

Sources

5.1.0.tar.gz
sha512=cb8986ab4d2af8eadbf99c05c5824df513cd803ddac1479ef943c5d402c65faa6f6ff4d3ffec4620d1f4139e741b7c40e61a4ac052bb15db1ce05b0edf5080fd

Description

Tags

org:deepspec logpath: ITree.Extra date:2022-12-29

Published: 29 Dec 2022

Dependencies (5)

  1. coq-itree >= "5.0.0"
  2. coq-paco
  3. coq-ext-lib
  4. coq
  5. dune >= "2.6"

Dev Dependencies

None

Used by

None

Conflicts

None