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.2.tar.gz
sha256=e4267c696df3a0f4faac4884d16bc5ec92d64128a11695dc9c381caf51fd5e7f
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-08-28 logpath:KruskalHigmanProp logpath:KruskalHigmanTypePublished: 28 Aug 2024
Dependencies (4)
-
coq-kruskal-fan
>= "1.1" -
coq-kruskal-almostfull
>= "1.1" -
coq-kruskal-finite
>= "1.4" -
coq-kruskal-trees
>= "1.4"
Dev Dependencies
None
Used by (2)
-
coq-kruskal-theorems
= "1.1" -
coq-kruskal-veldman
< "1.3"
Conflicts
None
On This Page