Attending ITASEC 2025
On January 8-9 I am attending Convegno PRIMI 2026 in Udine, where I have given the talk L’automazione dell’intuizione: Proof Assistant e AI nella Pratica Matematica Moderna. The slides are available here (in italian).
On January 8-9 I am attending Convegno PRIMI 2026 in Udine, where I have given the talk L’automazione dell’intuizione: Proof Assistant e AI nella Pratica Matematica Moderna. The slides are available here (in italian).