TY  - RPRT
TI  - Proof Assistants for Teaching: a Survey
AU  - Frédéric Tran Minh
AU  - Laure Gonnord
AU  - Julien Narboux
PY  - 2025
DO  - 10.4204/eptcs.419.1
UR  - https://arxiv.org/abs/2505.13472
ID  - 2505.13472
ER  -