Hacker News new | ask | show | jobs
by pfdietz 16 days ago
It will drive math journals to require formalization of the proofs in the supplemental material.