1 search result for "tag:"logpath:KruskalFanProp""

Showing 1 - 1
  1. coq-kruskal-fan

    No documentation

    Extending Coq library for manipulating Almost Full relations with the FAN theorem
    category:Computer Science/Data Types and Data Structures date:2025-12-11 logpath:KruskalFanProp logpath:KruskalFanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.0
    MPL-2.0
    Used by 3 other packages
    08 Jan 2026