4 search results for "tag:"date:2024-11-22""

Showing 1 - 4
  1. 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
  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: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
  3. 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
  4. coq-unicoq

    No documentation

    An enhanced unification algorithm for Coq
    logpath:Unicoq date:2024-11-22
    Matthieu Sozeau <matthieu.sozeau@inria.fr> Beta Ziliani <beta@mpi-sws.org>
    1.6+8.20
    MIT
    Used by 1 other packages
    22 Nov 2024