News

• 5 May 2026 Talk at Colloquia Patavina — I am giving a talk Around Formalization: Why and How to Explain Mathematics to a Computer at the Colloquia Patavina.
• 17 Mar 2026 New preprint out! — Synthetic Differential Geometry in Lean, with Gabriella Clemente.
• 1 Mar 2026 Register for Lean for the Curious Mathematician 2026! — The workshop will offer an opportunity to gain hands-on experience with Lean under the guidance of expert tutors.