@PietroMonticone@mathstodon.xyz
Joined: 10/31/2022
144
Followers
6
Following
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.
PietroMonticone has no public lists
PietroMonticone has no activity yet