ItaLean 2025

ItaLean 2025 riunisce ricercatori e professionisti impegnati nella formalizzazione della matematica in Lean e nello studio dell’interazione tra machine learning e metodi formali, offrendo lezioni, tutorial concreti, presentazioni di ricerca e tavole rotonde.