May 5, 2026, @16:00 Aula 1A150 Around Formalization: Why and How to Explain Mathematics to a Computer
Reference URL: https://www.math.unipd.it/colloquia-patavina/colloquia_files/20260505_Brasca.html