У уторак, 16.06.2026. од 14.00 у учионици 840 професор Marcus Zibrowius са Универзитета у Дрездену ће одржати гостујуће предавање у оквиру курса Увод у интерактивно доказивање теорема.
Тема предавања је
QED or Game Over? – A gamified introductionto theorem proving in Lean
Предавање ће бити посвећено интерактивном доказивачу Lean, који се у последње време истакао као главна алатка за формализацију математике.
Детаљније информације о предавању се могу видети у апстракту .
Позивају се сви заинтересовани да се придруже овом предавању.