The ACO Seminar (2022–2023)

We describe a proof of the long standing Kotzig–Ringel–Rosa conjecture also known as the graceful labeling conjecture. The proof stems from a functional reformulation of the conjecture and a new composition lemma. We will also discuss how the composition lemma sheds light on a stronger variant of the Kotzig–Ringel–Rosa conjecture.