Dillon Mayhew, Associate Professor from the School of Mathematics and Statistics at Te Heranga Waka/Victoria University of Wellington joins us once again. Tonight he's taking a look at computer programmes, called proof assistants, that check that a mathematical argument is complete and correct.
Photo: CC-BY-SA-3.0
