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

Frédéric Tran Minh
Laboratoire de Conception et d'Intégration des Systèmes

Domaines

Informatique [cs]
Thedu23_TranMinh_Slides_UseProofAssistants_.pdf (3.61 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Paternité - Pas d'utilisation commerciale - Pas de modification

Frederic Tran Minh  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04705638

Soumis le : lundi 23 septembre 2024-11:17:51

Dernière modification le : lundi 16 décembre 2024-15:37:17

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA LCIS
21 Consultations
4 Téléchargements

Partager

More