View of Proof step analysis for proof tutoring - a learning approach to granularity | Teaching Mathematics and Computer Science