split-graphs

Here is 1 public repository matching this topic...

jtraverso / erdos-81-chordal-clique-partitions

Preprint series on fractional and integral clique partitions, chordal graphs and quantitative stability, with bilingual manuscripts, Lean 4 formalizations and audit evidence.

graph-theory formal-verification mathlib lean4 chordal-graphs erdos-problems extremal-combinatorics split-graphs clique-partition triangle-packing

Updated Oct 2, 2026
Lean

Add this topic to your repo

To associate your repository with the split-graphs topic, visit your repo's landing page and select "manage topics."

Learn more