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

Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.