3 ms·It will drive math journals to require formalization of the proofs in the supplemental material.by pfdietz 5mo agoIt will drive math journals to require formalization of the proofs in the supplemental material.