You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-paco

You can search for identifiers within the package.

in-package search v0.2.0

Coq library implementing parameterized coinduction

Install

Dune Dependency

github.com Edit opam file Versions (20)

Authors

Maintainers

G

gil.hur@sf.snu.ac.kr

Sources

sha512=b757a24b732e0fdbcc08979d99e9fca9b91d4b53ed9fff56e1dd1ef4fd3f45688d9e1cf67356102fd01303120b4f68460a815582122b5ea9ece12ff86048fbab

Description

Tags

date:2025-01-30 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point logpath:Paco

Published: 31 Jan 2025

Dependencies (1)

coq >= "8.13" & < "9.1~"

Dev Dependencies

None

Used by (4)

coq-itree >= "5.1.1"
coq-itree-extra != "5.2.0"
coq-vellvm
rocq-vellvm

Conflicts

None

On This Page

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