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

Showing 1 - 1
  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