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

Showing 1 - 1
  1. 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:2024-11-24 logpath:KruskalVeldmanProp logpath:KruskalVeldmanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.3
    MPL-2.0
    Used by 1 other packages
    24 Nov 2024