1 search result for "tag:"logpath:KruskalVeldmanProp""
Showing 1 - 1
-
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