Publications HAL

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
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
BibTex