Towards design principles for learning environments based on theorem provers
I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERM), 2025.