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).

Mots clés

COQ HIERARCHY BUILDER

Domaines

Sciences de l'ingénieur [physics] Informatique [cs] Mathématiques [math] Physique [physics]
Fichier principal
Vignette du fichier
DTIS21240.pdf (180.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

christine GREC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03463762

Soumis le : jeudi 2 décembre 2021-16:17:09

Dernière modification le : vendredi 6 décembre 2024-03:19:59

Archivage à long terme le : jeudi 3 mars 2022-20:13:28

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X ONERA CNRS INRIA INSMI X-CMAP X-DEP-MATHA CMAP INRIA2 UNIV-COTEDAZUR IP_PARIS GS-COMPUTER-SCIENCE DTIS_ONERA
111 Consultations
118 Téléchargements

Partager

More