Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Catherine Lelay

Mots clés

FR |

EN

Preuve formelle

Assistant de preuve Coq

Analyse réelle

Analyse mathématique