Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Machine-checked computer-aided mathematics

Assia Mahboubi 1
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Document type :
Habilitation à diriger des recherches
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-03107626
Contributor : Assia Mahboubi <>
Submitted on : Wednesday, January 13, 2021 - 9:31:55 PM
Last modification on : Tuesday, February 2, 2021 - 4:48:19 PM

File

memoir_with_cover.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03107626, version 2

Citation

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

Share

Metrics

Record views

217

Files downloads

329