Fiche du document
Auteurs
Date
10 juillet 2023
Discipline
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.keoq4y
- hal: hal-04406679
Collection
Organisation
Sujets proches
MathCiter ce document
Irene Garnelo et al., « Introducing mathematics undergraduate students to the theorem prover lean », HAL-SHS : sciences de l'éducation, ID : 10670/1.keoq4y
Métriques
Partage / Export
Résumé
International audience