conference paper Irene Garnelo Abellanas author 93843 Michael Liebendörfer author 983 department Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13) 2023Budapest eng https://hal.science/hal-04406679v1/file/TWG_14-Garnelo-218.pdf Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>, 2023. @inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, booktitle={Thirteenth Congress of the European Society for Research in Mathematics (CERME13)}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} } Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>. ; 2023. I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023. Garnelo Abellanas, I., &#38; Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest. Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” In <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>, 2023. I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023. 599842025-05-19T07:19:01Z2026-01-15T10:36:11Z