Towards Automatic Transformations of Coq Proof Scripts - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Towards Automatic Transformations of Coq Proof Scripts

Nicolas Magaud
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
CV

Domaines

Synthèse d'image et réalité virtuelle [cs.GR]
Fichier principal
Vignette du fichier
islandora_168469.pdf (319.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Archive ouverte univOAK  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04328058

Soumis le : mercredi 6 décembre 2023-23:00:10

Dernière modification le : jeudi 11 avril 2024-13:08:14

Télécharger pour visualiser

Dates et versions

hal-04328058 , version 1 (06-12-2023)

Identifiants

  • HAL Id : hal-04328058 , version 1

Citer

Nicolas Magaud. Towards Automatic Transformations of Coq Proof Scripts. 14th International Conference on Automated Deduction in Geometry Belgrade, Serbia, September 20-22, 2023, Nov 2023, Belgrade, Serbia. ⟨hal-04328058⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENGEES INSA-STRASBOURG INC-CNRS SITE-ALSACE INSA-GROUPE
19 Consultations
107 Téléchargements

Partager

More