Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Garnelo Abellanas, IreneLibreCat;
Liebendörfer, Michael
Department
Publishing Year
Proceedings Title
Thirteenth Congress of the European Society for Research in Mathematics (CERME13)
Conference
Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13)
Conference Location
Budapest
LibreCat-ID
Cite this
Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: Thirteenth Congress of the European Society for Research in Mathematics (CERME13). ; 2023.
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 (CERME13). Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
@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, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” In Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 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, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
External material:
Confirmation Letter
Google Scholar