1 search result for "tag:"logpath:KruskalTrees""
Showing 1 - 1
-
coq-kruskal-trees
No documentation
Coq library for manipulating rose trees (ie finitely branching) as used in proof of Kruskal's tree theorem2.2MPL-2.0Used by 7 other packages13 Apr 2026