Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 1 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (last 20 years) | 1 |
Descriptor
Source
| International Journal of… | 1 |
Author
| Athina Thoma | 1 |
| Paola Iannone | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Research | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkPaola Iannone; Athina Thoma – International Journal of Mathematical Education in Science and Technology, 2024
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…
Descriptors: Programming, Mathematics Instruction, Computer Science Education, Student Attitudes
