2 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas I, Liebendörfer M. Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. In: ; 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: ; 2023.
LibreCat
| Files available
2 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas I, Liebendörfer M. Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. In: ; 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: ; 2023.
LibreCat
| Files available