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

Showing 1 - 1
  1. coq-kruskal-trees

    No documentation

    Coq library for manipulating rose trees (ie finitely branching) as used in proof of Kruskal's tree theorem
    category:Computer Science/Data Types and Data Structures date:2026-03-05 logpath:KruskalTrees
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.0.1
    MPL-2.0
    Used by 7 other packages
    06 Mar 2026