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
@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat
| Files available