Nowadays, the educational process is enriched with technological tools such as Arduino and Micro:bit. These tools offer both tangible and graphical interaction, however, widespread adoption by educators faces limitations. Many educators hesitate to utilize them, primarily due to lacking training. Therefore, this study examines educators'…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…