7 search results for "tag:"date:2026-04-12""

Showing 1 - 7
  1. coq-kruskal-almostfull

    No documentation

    Base Coq library for manipulating Almost Full relations
    category:Computer Science/Data Types and Data Structures date:2026-04-12 logpath:KruskalAfProp logpath:KruskalAfType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 5 other packages
    13 Apr 2026
  2. 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:2026-04-12 logpath:KruskalFanProp logpath:KruskalFanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 3 other packages
    13 Apr 2026
  3. coq-kruskal-finite

    No documentation

    Coq library for manipulating finiteness, finite choice and decision as used in proof of Kruskal's tree theorem
    category:Computer Science/Data Types and Data Structures date:2026-04-12 logpath:KruskalFinite
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 5 other packages
    13 Apr 2026
  4. coq-kruskal-higman

    No documentation

    Extending Coq library for manipulating Almost Full relations with Higman's lemma
    category:Computer Science/Data Types and Data Structures date:2026-04-12 logpath:KruskalHigmanProp logpath:KruskalHigmanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 2 other packages
    13 Apr 2026
  5. coq-kruskal-theorems

    No documentation

    Extending the Coq library for manipulating Almost Full relations with various forms of Kruskal's tree theorem
    category:Computer Science/Data Types and Data Structures date:2026-04-12 logpath:KruskalThmProp logpath:KruskalThmType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 1 other packages
    13 Apr 2026
  6. 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-04-12 logpath:KruskalTrees
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 7 other packages
    13 Apr 2026
  7. coq-kruskal-veldman

    No documentation

    Wim Veldman's proof of Higman's and Kruskal tree theorems
    category:Computer Science/Data Types and Data Structures date:2026-04-12 logpath:KruskalVeldmanProp logpath:KruskalVeldmanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.2
    MPL-2.0
    Used by 1 other packages
    13 Apr 2026