Introducing mathematics undergraduate students to the theorem prover lean - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2023

Introducing mathematics undergraduate students to the theorem prover lean

Irene Garnelo
  • Fonction : Auteur
  • PersonId : 1338687
TWG_14-Garnelo-218.pdf (115.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04406679 , version 1 (19-01-2024)

Identifiants

  • HAL Id : hal-04406679 , version 1

Citer

Irene Garnelo, Michael Liebendörfer. Introducing mathematics undergraduate students to the theorem prover lean. Paul Drijvers; Csaba Csapodi; Hanna Palmér; Katalin Gosztonyi; Eszter Kónya. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Jul 2023, Budapest, Hungary. Alfréd Rényi Institute of Mathematics; ERME, Proceedings of the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), TWG14 (17). ⟨hal-04406679⟩

Collections

TICE CERME13
13 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More