package coq-kruskal-finite
Coq library for manipulating finiteness, finite choice and decision as used in proof of Kruskal's tree theorem
Install
Dune Dependency
Authors
Maintainers
Sources
Kruskal-Finite-1.5.tar.gz
sha256=fc9f35fe5f68793c480dad2d08dd4023ff54e8980685c3e0b3867f2318605812
Description
Tools to facilitate proofs of finiteness (ie listability), finite choice principles and finite decidability.
Tags
category:Computer Science/Data Types and Data Structures date:2024-11-21 logpath:KruskalFinitePublished: 22 Nov 2024
Dependencies (2)
-
coq-kruskal-trees
>= "1.5" -
coq
>= "8.14" & < "8.21~"
Dev Dependencies
None
Used by (5)
Conflicts
None
On This Page