Simon Boulier

Mail :

In september 2015, I started a PhD on Homotopy Type Theory in École des Mines de Nantes (France), under the direction of Nicolas Tabareau, within the CoqHoTT project.



Various documents

For French students preparing the Agrégation

En 2013, j'ai passé l'agreg de maths option info, quelques développements ici.

Last update: September 9, 2017