[613style]

Like all writing, proofs have a target audience. If you don't know what a Galois group or a modular form is, it's not the author's job to teach you.

Formal verification is getting more mainstream, but it's not there yet.