Pietro Monticone (@pietromonticone) 's Twitter Profile
Pietro Monticone

@pietromonticone

Informal Mathematics @UniTrento || Formal Mathematics @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.

ID: 995510456

linkhttps://github.com/pitmonticone calendar_today07-12-2012 17:31:30

105 Tweet

1,1K Followers

669 Following