2024
Poster communications
titre
Proof assistants for teaching: a survey
auteur
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
article
The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24)
, Jul 2024, Nancy, France.
Accès au bibtex
2023
Poster communications
titre
Use of two proof assistants in an introduction to proof course: an experiment
auteur
Frédéric Tran Minh
article
ThEdu
, Jul 2023, Rome, Italy, Italy
Accès au bibtex