François THIRÉ
Doctorant
About me
I am a PhD student since the 1st of October 2016 at the
Ecole Normal Supérieure de Cachan under the supervision of Gilles Dowek at the LSV and Stéphane Graham-Lengrand at the LIX.
Research
Sharing a library between proof assistants: Reaching out the HOL family
Logipedia: An encylopedia of formal proofs
Contributions are welcome (drop me an email if you are interested) :
Teaching (fr)
2018-2019
Architecture/Système
See the webpage
Projet Logique
See the webpage
2017-2018
Programmation 1
See the webpage
Programmation 2
See the webpage
Projet Logique
See the webpage
2016-2017
Programmation 1
See the webpage
Projet Logique
See the webpage