He's probably talking about understanding the structure of the Lean proof, which is 233,891 lines of Lean (including blank lines).