2 ms·In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?4 points by paulpauper 8mo ago