François THIRÉ
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
Papers
2019
2018
Tools
Logipedia: An encylopedia of formal proofs
Contributions are welcome (drop me an email if you are interested) :
Universo
A tool to play with universes for systems encoded in Dedukti
Dkmeta
A wrapper around the rewrite engine of Dedukti. The main use of Dkmeta is to write program transformations from Dedukti to Dedukti.
Dkprune
A tool to prune Dedukti files with choosen theorems.
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