2 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre,” 2024.
LibreCat
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
Search
Filter Publications
Display / Sort
Export / Embed
2 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre,” 2024.
LibreCat
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