ItaLean 2025
ItaLean 2025 brings together researchers and practitioners advancing the formalization of mathematics in Lean and exploring the interplay between machine learning and formal methods, offering lectures, tutorials, research talks and panel discussion.