Lax Lean Archive

While this submission is a draft, it cannot be used by other submissions.

Graph Classes and Width Parameters

lax-326031·formalized by Clemens Kuske·created ·GitHub @b7fd115·Lean v4.33.0 epoch · mathlib db584cd6d46c

Loading review…

Community review

Flags

Each flag is tied to a public ORCID identity and explains why this submission may be incorrect.

No flags have been submitted.

    Community review

    Flag this submission

    State precisely what appears incorrect. This explanation will be public under your ORCID name.

    Abstract

    This reference guide collects existing Lax definitions of graph classes, containment relations, width parameters, and sparsity measures. Its chapters group the source concepts by subject. In the paper view, each marked passage opens the original concept and its Lean formalization beside the PDF.

    The submission declares no concepts, statements, or proofs of its own. The referenced definitions retain their original submission identities; similar names in different submissions are not identified with one another here.

    View annotated paper

    5 pages · 49 marked passages

    Concepts

    No concepts in this submission.

    Proofs

    No proofs in this submission.

    Related submissions

    Submission map

    100%
    This submissionOther submissionA → B: B's concepts build on AA → B: only B's proofs build on A

    Cite this

    This is only the formalizers. The authors of the formalized results may be different (see References).

    @misc{lax-326031,
  author = {Clemens Kuske},
  title = {Graph Classes and Width Parameters},
  year = {2026},
  howpublished = {Lax Archive, lax-326031},
  url = {https://laxarchive.org/lax-326031/},
  note = {draft},
}

    Discussion

    Ask a question or add context. Endorsements and structured flags are kept in the review panel above.

    Loading discussion…