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

Gate.io (@gate_io) 's Twitter Profile Photo
Gate.io
@gate_io

5 hours ago

šŸ”„The 9th Round of Easy Loan, Earn $40 Reward is in progressā—ļø ā° Promotion Period: January 15th - Feburary 15th, 2025 šŸ‘‰ Register now and check more details at gate.io/campaigns/358

šŸ”„The 9th Round of Easy Loan, Earn $40 Reward is in progressā—ļø ā° Promotion Period: January 15th - Feburary 15th, 2025 šŸ‘‰ Register now and check more details at gate.io/campaigns/358
Pietro Monticone (@pietromonticone) 's Twitter Profile Photo
Pietro Monticone
@pietromonticone

2 years ago

Very glad to have attended the 2nd edition of the summer school in #GeometricAnalysis organized by the mathematics department of UniversitĆ  di Trento! Here is the public GitHub repository where Iā€™ve collected (almost) all the relevant resources github.com/pitmonticone/2ā€¦.

Very glad to have attended the 2nd edition of the summer school in #GeometricAnalysis organized by the mathematics department of <a href="/UniTrento/">UniversitĆ  di Trento</a>! Here is the public <a href="/github/">GitHub</a> repository where Iā€™ve collected (almost) all the relevant resources github.com/pitmonticone/2ā€¦.
Matplotlib (@matplotlib) 's Twitter Profile Photo
Matplotlib
@matplotlib

2 years ago

Cool approach to multiple views!

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

a year ago

My colleagues and I have almost finished the formalisation of Fermatā€™s Last Theorem for exponent 3 in Lean. Weā€˜ll port it in Mathlib as soon as we can so it could be used in the FLT project. For those interested, here is our @GitHub repository: github.com/riccardobrascaā€¦.