[jgwil2]

> But for longer works where the proof is decomposed into multiple lemmas and sub-lemmas, these can be very useful.

Wouldn't they be better off as an actual table of contents though, rather than in paragraph form?

[tikhonj]

At least in CS venues, page limits disincentivize formatting that takes up more space—even when it's more readable.

[Ar-Curunir]

another reason why we should get rid of page limits

[jmmcd]

I don't want to review for a conference with no page limits.

[spekcular]

No, because it's hard to accurately represent the tree structure and interdependence of lemmas with a linear table of contents. (Sometimes – not always!)

But for really nasty proofs, I think a graphic description of the structure is best. Check out Figure 3 on page 29 of this paper: https://arxiv.org/abs/1108.2291.