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