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