Models for proof comprehension in secondary and tertiary education and their fit to learning processes for first-year undergraduate students. (2024). Mathematica Didactica, 47(1). https://doi.org/10.18716/ojs/md/2024.1655