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 metadatas

https://tel.archives-ouvertes.fr/tel-03107626
Contributor : Assia Mahboubi <>
Submitted on : Tuesday, January 12, 2021 - 5:19:12 PM
Last modification on : Friday, January 15, 2021 - 3:30:49 AM

File

memoir_with_cover.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03107626, version 1

Citation

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

Share

Metrics

Record views

70

Files downloads

17