Stack Overflow
Stack Overflow

Filippo Alberto Edoardo
101
reputation
2
  • Saint-Etienne, France
  • Member since December 19 2016
  • 6 profile views
  • Last seen Aug 31 '23 at 16:18

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