Porting the Mathematical Components library to Hierarchy Builder - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Porting the Mathematical Components library to Hierarchy Builder

Résumé

We report on the porting of the Mathematical Components library (hereafter MC) to the Hierarchy Builder [2] tool (hereafter HB).
Fichier principal
Vignette du fichier
DTIS21240.pdf (180.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03463762 , version 1 (02-12-2021)

Identifiants

  • HAL Id : hal-03463762 , version 1

Citer

Reynald Affeldt, Xavier Allamigeon, Yves Bertot, Quentin Canu, Cyril Cohen, et al.. Porting the Mathematical Components library to Hierarchy Builder. the COQ Workshop 2021, Jul 2021, virtuel- Rome, Italy. ⟨hal-03463762⟩
104 Consultations
115 Téléchargements

Partager

More