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