The Use of Sensor Data for the Multimodal Analysis of Mathematical Proof Activity in a CSCL Environment. ICCE 2025.