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