Habilitation À Diriger Des Recherches Year : 2021

Machine-checked computer-aided mathematics

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⟩
650 View
1238 Download

Share

More