package coq-kruskal-higman
Extending Coq library for manipulating Almost Full relations with Higman's lemma
Install
Dune Dependency
Authors
Maintainers
Sources
Kruskal-Higman-2.2.tar.gz
sha256=1923bf3c1efb7075d255d838a6078740ee63c8b37ff5bb688e8479d5b553d44f
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:2026-04-12 logpath:KruskalHigmanProp logpath:KruskalHigmanTypePublished: 13 Apr 2026
Dependencies (4)
-
coq-kruskal-fan
>= "2.2" -
coq-kruskal-almostfull
>= "2.2" - coq-kruskal-finite
- coq-kruskal-trees
Dev Dependencies
None
Used by (2)
-
coq-kruskal-theorems
>= "1.1" - coq-kruskal-veldman
Conflicts
None
On This Page