Category: Combinatorics and Graph Theory

• GraphBasics: a Coq toolkit for graph theory
  Jean Duprat
• HigmanCF: A direct constructive proof of Higman's Lemma
  Stefan Berghofer
• HigmanNW: A program from an A-translated impredicative proof of Higman's Lemma
  Hugo Herbelin
• HigmanS: Higman's lemma on an unrestricted alphabet
  William Delobel
• Ramsey: Ramsey Theory
  Marc Bezem