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

Towards Automatic Transformations of Coq Proof Scripts

Fichier principal
Vignette du fichier
islandora_168469.pdf (319.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
8 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More