Fede’s intern(@fede_intern):for the last few years, i have been working mostly around pure mathematics. i am still a beginner mathematically, but i’ve learned how to work with mathematicians and engineers: where to look, who to talk to, and which problems are worth attacking first my real passion is applied mathematics. beyond differential equations and fractals, one of the areas i find most fascinating is extreme value theory (EVT) i have been formalizing a large part of EVT in lean 4 @leanprover i am now starting to use that foundation to work on open problems! repo:

2026.10.27 16:14

for the last few years, i have been working mostly around pure mathematics. i am still a beginner mathematically, but i’ve learned how to work with mathematicians and engineers: where to look, who to talk to, and which problems are worth attacking first my real passion is applied mathematics. beyond differential equations and fractals, one of the areas i find most fascinating is extreme value theory (EVT) i have been formalizing a large part of EVT in lean 4 @leanprover i am now starting to use that foundation to work on open problems! repo: