package coq-paco

  1. Overview
  2. No Docs
Coq library implementing parameterized coinduction

Install

Dune Dependency

github.com Edit opam file Versions (19)

Authors

  1. C
    Chung-Kil Hur <gil.hur@sf.snu.ac.kr>
  2. G
    Georg Neis <neis@mpi-sws.org>
  3. D
    Derek Dreyer <dreyer@mpi-sws.org>
  4. V
    Viktor Vafeiadis <viktor@mpi-sws.org>
  5. M
    Minki Cho <minki.cho@sf.snu.ac.kr>

Maintainers

  1. M
    minki.cho@sf.snu.ac.kr

Sources

v4.2.1.tar.gz
sha512=afd04e1c9015cdd792018bd340803a5674e2223f4d292ed38666a042806ff9ad68ba2d2d70ce2d967f0a43d0e1d27a70f310b557c4d6f3e5889a9a4ac1feca91

Description

Tags

date:2024-10-09 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: 10 Oct 2024

Dependencies (1)

  1. coq >= "8.13" & < "8.21~"

Dev Dependencies

None

Used by (3)

  1. coq-itree >= "5.1.1"
  2. coq-itree-extra < "5.2.0"
  3. coq-vellvm

Conflicts

None