4 search results for "tag:"date:2025-12-11""
Showing 1 - 4
-
coq-kruskal-fan
No documentation
Extending Coq library for manipulating Almost Full relations with the FAN theorem2.0MPL-2.0Used by 3 other packages08 Jan 2026 -
coq-kruskal-higman
No documentation
Extending Coq library for manipulating Almost Full relations with Higman's lemma2.0MPL-2.0Used by 2 other packages08 Jan 2026 -
coq-kruskal-theorems
No documentation
Extending the Coq library for manipulating Almost Full relations with various forms of Kruskal's tree theorem2.0MPL-2.0Used by 1 other packages08 Jan 2026 -
coq-kruskal-veldman
No documentation
Wim Veldman's proof of Higman's and Kruskal tree theorems2.0MPL-2.0Used by 1 other packages08 Jan 2026