11 search results for "author:"Dominique Larchey-Wendling""

Showing 1 - 11
  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
  2. coq-karp-miller

    No documentation

    Certified Karp-Miller algorithm for the covering of Petri nets
    category:Computer Science/Data Types and Data Structures date:2024-11-22 logpath:KarpMiller
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.1
    MPL-2.0
    Used by 0 other packages
    23 Nov 2024
  3. coq-kruskal-almostfull

    No documentation

    Base Coq library for manipulating Almost Full relations
    category:Computer Science/Data Types and Data Structures date:2024-11-21 logpath:KruskalAfProp logpath:KruskalAfType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.2
    MPL-2.0
    Used by 5 other packages
    22 Nov 2024
  4. 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:2024-11-22 logpath:KruskalFanProp logpath:KruskalFanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.2
    MPL-2.0
    Used by 3 other packages
    23 Nov 2024
  5. 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:2024-11-21 logpath:KruskalFinite
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.5
    MPL-2.0
    Used by 5 other packages
    22 Nov 2024
  6. 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:2024-11-22 logpath:KruskalHigmanProp logpath:KruskalHigmanType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.3
    MPL-2.0
    Used by 2 other packages
    23 Nov 2024
  7. 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:2024-08-28 logpath:KruskalThmProp logpath:KruskalThmType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.2
    MPL-2.0
    Used by 1 other packages
    24 Nov 2024
  8. 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:2024-11-21 logpath:KruskalTrees
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    1.5
    MPL-2.0
    Used by 7 other packages
    22 Nov 2024
  9. 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
  10. coq-library-fol

    No documentation

    A Coq Library for First-Order Logic
    Dominik Kirst Johannes Hostert Andrej Dudenhefner Yannick Forster Marc Hermes et al.
    1.0+8.20
    MIT
    Used by 0 other packages
    06 Feb 2025
  11. coq-library-undecidability

    No documentation

    A Coq Library of Undecidability Proofs
    Yannick Forster Dominique Larchey-Wendling Andrej Dudenhefner Edith Heiter Marc Hermes et al.
    1.1.2+8.20
    MPL-2.0
    Used by 1 other packages
    30 Sep 2024