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.
2 Publications
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, I., & Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre.
LibreCat
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, I., & Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat
| Files available