Porting the Mathematical Components library to Hierarchy Builder - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Porting the Mathematical Components library to Hierarchy Builder

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03463762 , version 1

Cite

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⟩
75 View
86 Download

Share

Gmail Mastodon Facebook X LinkedIn More