Use of two proof assistants in an introduction to proof course: an experiment - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Use of two proof assistants in an introduction to proof course: an experiment

Thedu23_TranMinh_Slides_UseProofAssistants_.pdf (3.61 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04705638 , version 1 (23-09-2024)

Licence

Identifiants

  • HAL Id : hal-04705638 , version 1

Citer

Frédéric Tran Minh. Use of two proof assistants in an introduction to proof course: an experiment. ThEdu, Jul 2023, Rome, Italy, Italy. ⟨hal-04705638⟩

Collections

UGA LCIS
9 Consultations
3 Téléchargements

Partager

More