Knowledge Tree

researcher / Catherine Lelay

Catherine Lelay

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée