Publications HAL

2025

Conference papers

ref_biblio
Frédéric Tran Minh, Laure Gonnord, Julien Narboux. A Lean-based Language for Teaching Proof in High School. Conference on Intelligent Computer Mathematics 2025, Mauricio Ayala-Rincón (University of Brasilia, UnB, Brazil); Peter Koepke (University of Bonn, Germany); Valeria de Paiva (Topos Institute, Berkeley, USA), Oct 2025, Brasilia, Brazil. pp.447-467, ⟨10.1007/978-3-032-07021-0_25⟩. ⟨hal-05326824⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05326824/file/CICM25-TMGN-hal.pdf BibTex

2024

Conference papers

ref_biblio
Frédéric Tran Minh, Laure Gonnord, Julien Narboux. Proof assistants for teaching: a survey. Theorem Proving Components for Educational Software 2024 (ThEdu’24), J. Narboux, W. Neuper and P. Quaresma, Jul 2024, Nancy, France, France. pp.1-27, ⟨10.4204/EPTCS.419.1⟩. ⟨hal-04705580v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04705580/file/ThEdu24.1.pdf BibTex

2023

Reports

ref_biblio
Frédéric Tran Minh. Use of two proof assistants in an introduction to proof course: an experiment. LCIS, Grenoble-INP. 2023. ⟨hal-04705617⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04705617/file/Thedu23_TranMinh.pdf BibTex