3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
LibreCat
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
2024 | Conference Paper | LibreCat-ID: 59990 |

Digital STACK tasks and exam results
A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebendörfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.
LibreCat
| Files available
| DOI
| Download (ext.)
A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebendörfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
LibreCat
| Files available
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
LibreCat
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
2024 | Conference Paper | LibreCat-ID: 59990 |

Digital STACK tasks and exam results
A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebendörfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.
LibreCat
| Files available
| DOI
| Download (ext.)
A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebendörfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
LibreCat
| Files available
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.