Pietro Monticone
@pietromonticone.bsky.social
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.
• GitHub: https://github.com/pitmonticone
• YouTube: https://www.youtube.com/@PietroMonticone
• GitHub: https://github.com/pitmonticone
• YouTube: https://www.youtube.com/@PietroMonticone
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
October 14, 2025 at 7:44 AM
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math