Proof assistants for teaching: a survey
Utilisation des assistants de preuve dans l'enseignement : une étude bibliographique
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Communication Dans Un Congrès
Année : 2024
Frederic Tran Minh : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04705596
Soumis le : lundi 23 septembre 2024-10:59:19
Dernière modification le : lundi 9 décembre 2024-03:35:08
Dates et versions
Licence
Identifiants
- HAL Id : hal-04705596 , version 1
Citer
Frédéric Tran Minh, Laure Gonnord, Julien Narboux. Proof assistants for teaching: a survey. The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24), Jul 2024, Nancy, France. ⟨hal-04705596⟩
Collections
49
Consultations
4
Téléchargements