package coq-library-complexity

  1. Overview
  2. No Docs
A Coq Library of Complexity Theory

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. F
    Fabian Kunze
  2. L
    Lennard Gäher
  3. M
    Maximilian Wuttke
  4. Y
    Yannick Forster
  5. S
    Stefan Haan

Maintainers

  1. F
    forster@cs.uni-saarland.de

Sources

v1.0+8.16.tar.gz
sha256=f07ca356e7b3ebb03ac6ccc07a3e389dab293ec01b1994027597998859f97306

Description

Published: 09 Nov 2022

Dependencies (2)

  1. coq-library-undecidability = "1.0.1+8.16"
  2. coq >= "8.16" & < "8.17"

Dev Dependencies

None

Used by

None

Conflicts

None