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
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.
LibreCat
| Files available