About Pietro Monticone

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

Lists

Timeline

PietroMonticone has no activity yet