Pietro Monticone
LightNews LightNews
banner
pietromonticone.bsky.social
Pietro Monticone
@pietromonticone.bsky.social
690 followers 11 following 8 posts
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
Posts Replies Media Videos
pietromonticone.bsky.social
Day 3 at #ItaLean2025 here in Bologna!

Great talks this morning and now the project work session is buzzing: so many new ideas everywhere and exciting collaborative projects taking shape.

What a fantastic atmosphere!

@lean-lang.org #FormalMath #AI4Math
December 11, 2025 at 8:27 PM
pietromonticone.bsky.social
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
October 14, 2025 at 7:44 AM