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.3.tar.gz
sha256=4dd079239f71bb4827b8dfdd6c33bbecb72e4e8be4379ab8bd0e1a6e5beaad06
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-11-22 logpath:KruskalHigmanProp logpath:KruskalHigmanTypePublished: 23 Nov 2024
Dependencies (4)
Dev Dependencies
None
Used by (2)
-
coq-kruskal-theorems
>= "1.1" - coq-kruskal-veldman
Conflicts
None
On This Page