Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.

• GitHub: https://github.com/pitmonticone
• YouTube: https://www.youtube.com/@PietroMonticone