package coq-kruskal-higman
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Extending Coq library for manipulating Almost Full relations with Higman's lemma
Install
Dune Dependency
Authors
Maintainers
Sources
Kruskal-Higman.1.1.tar.gz
sha256=569c368874aaa532fbc9699b86952721d3e9024a277e7a45b834f68de8db4ba2
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-05-23 logpath:KruskalHigmanProp logpath:KruskalHigmanTypePublished: 23 May 2024
Dependencies (4)
-
coq-kruskal-fan
>= "1.0" -
coq-kruskal-almostfull
>= "1.0" -
coq-kruskal-finite
>= "1.3" -
coq-kruskal-trees
>= "1.3"
Dev Dependencies
None
Used by (1)
-
coq-kruskal-veldman
< "1.2"
Conflicts
None
On This Page