TY  - RPRT
TI  - Teaching "Foundations of Mathematics" with the Lean Theorem Prover
AU  - Mattia Luciano Bottoni
AU  - Alberto S. Cattaneo
AU  - Elif Sacikara
PY  - 2025
UR  - https://arxiv.org/abs/2501.03352
ID  - 2501.03352
ER  -