package coq-kruskal-almostfull
Base Coq library for manipulating Almost Full relations
Install
Dune Dependency
Authors
Maintainers
Sources
Kruskal-AlmostFull-2.1.tar.gz
sha256=ab4a1d26ab41828963cb1d54a627fa389769855d201bf76dca3205c4b47f85d9
Description
This library formalizes ground results about Almost Full relations (AF) in Coq 8.14+, up to Dickson's lemma.
Tags
category:Computer Science/Data Types and Data Structures date:2026-03-05 logpath:KruskalAfProp logpath:KruskalAfTypePublished: 06 Mar 2026
Dependencies (4)
-
coq-kruskal-finite
>= "2.0" -
coq-kruskal-trees
>= "2.0" - rocq-stdlib
-
rocq-core
>= "9.0.0" & < "9.2~"
Dev Dependencies
None
Used by (5)
Conflicts
None
On This Page