Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.