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