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

Showing 1 - 1
  1. coq-friedman-tree

    No documentation

    Implementation of Friedman's TREE function based on Kruskal's theorem
    category:Computer Science/Data Types and Data Structures date:2024-05-23 logpath:FriedmanTREE
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.1
    MPL-2.0
    Used by 0 other packages
    23 May 2024