Zagovor dela diplomskega seminarja: Gregor Kikelj, Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean

Gregor KIKELJ (univerzitetni študijski program prve stopnje Matematika)
bo zagovarjal delo diplomskega seminarja z naslovom »Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean«
dne 30. 9. 2024 ob 10.00 v predavalnici P.02, Jadranska 21, pritličje.

Komisija:
- prof. dr. Primož Potočnik (predsednik)
- prof. dr. Andrej Bauer (mentor)
- asist. dr. Katja Berčič (somentorica)
- prof. dr. Sandi Klavžar (član)