About Pietro Monticone :verified:

Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.

Lists

Timeline

{username} has no activity yet