|
|
Catherine LELAY |
|
Contacts: |
J'ai obtenu un M2 en logique mathématique à Paris 7 en 2011 et l'agrégation de mathématiques option informatique en 2009. Je suis étudiante en Thèse depuis octobre 2011 sous la direction de Sylvie Boldo et Guillaume Melquiond dans la cadre du projet Coquelicot sur le sujet "De nouveaux réels pour Coq". Comme indiqué dans mon sujet de thèse, je travaille essentiellement avec l'assistant de preuve Coq. |