package coq-bellantonicook

  1. Overview
  2. No Docs
Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. S
    Sylvain Heraud
  2. D
    David Nowak

Maintainers

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

Sources

v1.0.0.tar.gz
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)

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

Dev Dependencies

None

Used by (1)

  1. coq-cecoa

Conflicts

None