Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

Python programming is widely employed in educational institutions worldwide. Within the "Merdeka Belajar" curriculum context, this programming is recognized as a suitable vehicle for mathematics instruction, significantly influencing students' motivation and learning outcomes, particularly following periods of educational hiatus. This…