Machine-checked computer-aided mathematics

Assia Mahboubi

Habilitation à diriger des recherches

Machine-checked computer-aided mathematics

Assia Mahboubi ¹

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

Keywords : Type theory formal proofs computer algebra

Document type :

Habilitation à diriger des recherches

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

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

memoir_with_cover.pdf

Files produced by the author(s)

Machine-checked computer-aided mathematics

File

Identifiers

Citation

Export

Metrics

65

13

Machine-checked computer-aided mathematics

File

Identifiers

Citation

Export

Share

Metrics

65

13