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