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

P

paco@sf.snu.ac.kr

Sources

md5=c5afc7e9885446b7b0399e0c59e8a520

Description

Tags

date:2018-02-11 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point

Published: 19 Mar 2019

Dependencies (2)

coq >= "8.6" & < "8.10"
ocaml

Dev Dependencies

None

Used by (3)

coq-itree < "2.0.0"
coq-itree-extra < "5.2.1"
coq-vellvm

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies
Used by (3)
Conflicts