Computer proofs – the future of mathematics? [pdf]andrew.cmu.edu3 points·Panoramix··0 commentsOpen articleSaveView on HN