Comment by charcircuit

You don't have to read 32 million lines. You can just look at what got proved. The proof checker lets you trust those millions of lines you did not read.