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