You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-bellantonicook

You can search for identifiers within the package.

in-package search v0.2.0

Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

Maintainers

D

David Nowak <david.nowak@univ-lille.fr>

Sources

md5=55be4b1d1eeeba344faa5212adc1dc80

Description

Tags

category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time logpath:BellantoniCook date:2018-09-06

Published: 07 Sep 2018

Dependencies (2)

coq >= "8.6" & < "8.9.0~" & != "8.7.0"
ocaml

Dev Dependencies

None

Used by (1)

coq-cecoa

Conflicts

None

On This Page

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