View of Verification of human-level proof steps in mathematics education | Teaching Mathematics and Computer Science