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.1.1.tar.gz
sha256=82671b63512fed00028ffeddecba433281bda1a477d2395124888fe5f893a677

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-23 logpath:FriedmanTREE

Published: 23 May 2024

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None