Communication Dans Un Congrès Année : 2024

Students' perceptions of a Proof Assistant, in an introduction to proof course, in the first year of University mathematics

Simon Modeste

Résumé

Students' perceptions of a Proof Assistant, in an introduction to proof course, in the first year of University mathematics
Fichier principal
Vignette du fichier
INDRUM2024_MODESTE_prep_for_proceedings_clean.pdf (536) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04944241 , version 1 (13-02-2025)

Identifiants

  • HAL Id : hal-04944241 , version 1

Citer

Simon Modeste. Students' perceptions of a Proof Assistant, in an introduction to proof course, in the first year of University mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Centre de Recerca Matematica [CRM], Jun 2024, Barcelona, Spain. ⟨hal-04944241⟩
0 Consultations
0 Téléchargements

Partager

More