Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre,” 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 | 
Eichler, Andreas, Henrik Floren, Irene Garnelo Abellanas, Michael Liebendörfer, Raphael Müller, Mirko Schürmann, and Annabelle Speer. “Digital STACK Tasks and Exam Results.” In INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Barcelona: Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024. https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean,” 2023.
LibreCat
| Files available