- E-Mail:
- irene.garnelo.abellanas@uni-paderborn.de
- Phone:
- +49 5251 60-3818
-
- Office Address:
-
Warburger Str. 100
33098 Paderborn - Room:
- D3.326
Publications
Latest Publications
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.
Show all publications