Filippo Alberto Edoardo
213
reputation
2
7
I am currently a Maître de Conférences in Saint-Étienne, in France. I am particularly interested in formalised mathematics.