Pietro Monticone @pietromonticone.bsky.social
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
you reached the end!!