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>

Maintainers

  1. P
    paco@sf.snu.ac.kr

Sources

5cc7babe1423b56d7fe9a474f1645f495c82061b.tar.gz
md5=32ee0f67d5901a138722dd39ffee14a2

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: 07 Mar 2018

Dependencies (2)

  1. coq >= "8.5" & < "8.9~"
  2. ocaml

Dev Dependencies

None

Conflicts

None