A study from UZH

Stream: Lean for teaching

[Elif Sacikara (Alumni)]

Dear Lean community,

By following Thoma & Iannone's paper, we performed a similar study (Teaching "Foundations of Mathematics" with the Lean Theorem Prover) at the Institute of Mathematics, University of Zurich. This study is done as part of the master's thesis of our student @Mattia Bottoni , co-supervised by Alberto Cattaneo. You may find its arXiv version here and Mattia's thesis on this UZH webpage.

We wanted to thank the entire Lean community for their continuous support during his studies. We would also appreciate any comments, feedback, or particularly critiques, as we co-authors are not experts on this topic.

Thanks so much once more!

Best wishes,
Elif