“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)
Proof assistants can be seen at once as high-level programming languages and as proof checkers. Their use has been growing steadily in recent decades in both industry and research.
In this seminar, three researchers will describe why and how they use a proof-assistance to carry on their own research.