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