Comment by DoctorOetker

would you assess Metamath systems more robust in adversarial settings, because the verifier is so short?