“How to solve your next math problem by computer. Three stories on proof-assistants”
Martedì 7 Giugno 2022, ore 16:30 - Aula - 1A150 - Ingo Blechschmidt (Università di Augsburg - Germania) + Marco Maggesi (Università di Firenze) + Filippo Sestini (Università di Nottingham - UK)
Leggi
