2 search results for "tag:"date:2025-11-20""

Showing 1 - 2
  1. coq-kruskal-almostfull

    No documentation

    Base Coq library for manipulating Almost Full relations
    category:Computer Science/Data Types and Data Structures date:2025-11-20 logpath:KruskalAfProp logpath:KruskalAfType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.0
    MPL-2.0
    Used by 5 other packages
    24 Nov 2025
  2. 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:2025-11-20 logpath:KruskalFinite
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.0
    MPL-2.0
    Used by 5 other packages
    24 Nov 2025