“Analysis of CSCL for Mathematical Proof Based on the Log Data of Learners’ Verbal and Nonverbal Communications ”. 2022. International Conference on Computers in Education, November. https://library.apsce.net/index.php/ICCE/article/view/4474.