3 ms·The proofs in Metamath are not produced by machines. Humans write them, but machines validate them.by smadge 8y agoThe proofs in Metamath are not produced by machines. Humans write them, but machines validate them.