▲ 3 pointsComputer proofs – the future of mathematics? [pdf]andrew.cmu.eduby Panoramix·4y ago·0 comments·view on hn ↗