Comment by DoctorOetker

2 hours ago

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

0 comments