The vision of computer-supported and -verified proofs of maths was old when i studied. And I'm old nowadays - or, at least, not young anymore. There has been

The vision of computer-supported and -verified proofs of maths was old when i studied. And I'm old nowadays - or, at least, not young anymore. There has been some progress in the last couple of decades, but not so much that you'd expect this to be completely solved in the next decade.