2 ms·Exactly. If humans were good at writing proofs, they'd just write the code.by docheinestages 9d agoExactly. If humans were good at writing proofs, they'd just write the code.