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.0.tar.gz
sha256=929604f2c0f268c216c4763eb20f3b6866a71c2a84c2e1692a60f8219bc95d83
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:2025-12-11 logpath:KruskalHigmanProp logpath:KruskalHigmanTypePublished: 08 Jan 2026
Dependencies (4)
Dev Dependencies
None
Used by (2)
-
coq-kruskal-theorems
>= "1.1" - coq-kruskal-veldman
Conflicts
None
On This Page