Title: Granularity Analysis for Tutoring Mathematical Proofs - Volume 334 Dissertations in Artificial Intelligence
Subjects: Proof theory, Data processing