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