Syamsuri S, Purwanto P, Subanji S, Irawati S. Characterization of students formal-proof construction in mathematics learning. CST [Internet]. 2016Nov.30 [cited 2024May3];1(2). Available from: https://cst.kipmi.or.id/journal/article/view/2