From ItaLean to Vericoding: Why I'm Now a Lean4 FanaticFebruary 10, 2026How a conference in Bologna turned me into a Lean4 evangelist and set me on the path toward vericoding.
