5 search results for "tag:"category: Mathematics/Combinatorics and Graph Theory""

Showing 1 - 5
  1. coq-graph-basics

    No documentation

    a Coq toolkit for graph theory
    keyword: graph theory keyword: Curry-Howard's isomorphism keyword: inductive definitions category: Mathematics/Combinatorics and Graph Theory date: April 2001
    Jean Duprat
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-higman-cf

    No documentation

    A direct constructive proof of Higman's Lemma
    keyword: Higman's lemma keyword: extraction category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics
    Stefan Berghofer
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-higman-nw

    No documentation

    A program from an A-translated impredicative proof of Higman's Lemma
    keyword: A-translation keyword: Higman's lemma keyword: impredicativity keyword: System F keyword: extraction category: Mathematics/Logic category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics
    Hugo Herbelin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-higman-s

    No documentation

    Higman's lemma on an unrestricted alphabet
    keyword: Higman's lemma keyword: well quasi-ordering category: Mathematics/Combinatorics and Graph Theory date: 2007-09-14
    William Delobel <william.delobel@lif.univ-mrs.fr>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  5. coq-ramsey

    No documentation

    Ramsey Theory
    keyword: dimension one Ramsey theorem keyword: constructive mathematics keyword: almost full sets category: Mathematics/Logic category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics
    Marc Bezem
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019