Proof Assistants for Teaching: a Survey. - Frédéric Tran Minh; Laure Gonnord; Julien Narboux (ThEdu@CADE, 2024)