@inproceedings{59984,
  author       = {{Garnelo Abellanas, Irene and Liebendörfer, Michael}},
  booktitle    = {{Thirteenth Congress of the European Society for Research in Mathematics (CERME13)}},
  location     = {{Budapest}},
  title        = {{{Introducing mathematics undergraduate students to the theorem prover lean}}},
  year         = {{2023}},
}