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
v2.1.0.tar.gz
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 pointPublished: 19 Mar 2019
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page