Mathematical proofs are becoming increasingly complex. But how do you check 900 pages full of formulas – or even computer-generated arguments?
Mathematical proofs are becoming increasingly complex. But how do you check 900 pages full of formulas – or even computer-generated arguments?