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.0.1MPL-2.0Used by 7 other packages06 Mar 2026