Classification of finite simple groups
Overview of the proof of the classification theorem

Gorenstein (1982, 1983) wrote two volumes outlining the low rank and odd characteristic part of the proof, and Michael Aschbacher, Richard Lyons, and Stephen D. Smith et al. (2011) wrote a 3rd volume covering the remaining characteristic 2 case. The proof can be broken up into several major pieces as follows:
oulipo:avoid_letter[e]