Instead of presenting symbols and rules, he presents human beings, a teacher and his students. He presents a clash of views, arguments and counter-arguements.
Instead of mathematics skeletalised and fossilised, he presents it taking shape before our eyes - called 'informal mathematics:
A reference is Proofs and Refutations in the British Journal for Philosophy in Science