Machine-checked computer-aided mathematics - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2021

Machine-checked computer-aided mathematics

(1)
1
Fichier principal
Vignette du fichier
memoir_with_cover.pdf (1.16 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

tel-03107626 , version 1 (12-01-2021)
tel-03107626 , version 2 (13-01-2021)

Identifiers

  • HAL Id : tel-03107626 , version 2

Cite

Assia Mahboubi. Machine-checked computer-aided mathematics. Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021. ⟨tel-03107626v2⟩
474 View
750 Download

Share

Gmail Facebook Twitter LinkedIn More