PM
Pietro Monticone
@pietromonticone.bsky.social
Mathematics @UniTrento || Formalising in @LeanProver || Developing #FOSS in @JuliaLanguage || Modelling @In_Phy_T || Forecasting @Metaculus || Reading @Goodreads.
• GitHub: github.com/pitmonticone
• YouTube: www.youtube.com/@PietroMonticon