3 ms·I would trust things with formal proofs a lot moreby EGreg 5y agoI would trust things with formal proofs a lot more