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.
1 Publication
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