package coq-friedman-tree

  1. Overview
  2. No Docs
Implementation of Friedman's TREE function based on Kruskal's theorem

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Maintainers

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Sources

Friedman.TREE.v1.0.tar.gz
sha256=dbe17bae167367824e035d1d8525c951437589035854942d630bd18baaf20325

Description

Friedman's TREE function is an extremely fast growing function that plays a role in reverse mathematics, that is the classification of mathematical theories w.r.t. what kind of theorems can be proved within those theories or what kind of functions they can prove exist. See the README.md file for further description.

Tags

category:Computer Science/Data Types and Data Structures date:2024-05-10 logpath:FriedmanTREE

Published: 10 May 2024

Dependencies (1)

  1. coq-kruskal-theorems >= "1.0"

Dev Dependencies

None

Used by

None

Conflicts

None