package coq-kruskal-higman

  1. Overview
  2. No Docs
Extending Coq library for manipulating Almost Full relations with Higman's lemma

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

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

Maintainers

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

Sources

1.0.tar.gz
sha256=5cd8d9bd49a9e70ab0e73d2f362f77c08d74691db057229138dc461e4cb324fd

Description

This library formalizes additional tools for AF relations, eg quasi morphisms applied to Higman's lemma.

Tags

category:Computer Science/Data Types and Data Structures date:2024-02-29 logpath:KruskalHigmanProp logpath:KruskalHigmanType

Published: 01 Mar 2024

Dependencies (4)

  1. coq-kruskal-almostfull >= "1.0"
  2. coq-kruskal-finite >= "1.3"
  3. coq-kruskal-trees >= "1.3"
  4. coq >= "8.14" & < "8.20~"

Dev Dependencies

None

Used by (1)

  1. coq-kruskal-veldman < "1.1"

Conflicts

None