package coq-paco
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Coq library implementing parameterized coinduction
Install
Dune Dependency
Authors
Maintainers
Sources
v4.0.3.tar.gz
md5=11d6a056ce263f62db7023646a34dff6
Description
Tags
date:2020-12-30 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed pointPublished: 30 Dec 2020
Dependencies (1)
-
coq
>= "8.9" & < "8.13~"
Dev Dependencies
None
Used by (3)
-
coq-itree
>= "2.0.0"
- coq-itree-extra
- coq-vellvm
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page