7 ms·

I think it means human-friendly: not 50pages of arcane symbols; referring to welle known theorems instead of inclining the proofs.