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…

This paper reports on a collaboration between three authors; two mathematicians in a Swedish university and a UK-based mathematics educator. The focus of the enquiry was the evaluation of the experience of Swedish first-year undergraduate engineers required, in their mathematics class, to learn to use the programming language "Matlab". Students…