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 : samedi 28 septembre 2024-03:05:05

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
9 Consultations
3 Téléchargements

Partager

More