Seminarium, Övrigt
Må 5 oktober - Sö 11 oktober
-
Seminarium, Övrigt
fredag 2026-10-09, 15.00 - 16.00
Medverkande: Yaël Dillies (SU)
Plats: Albano, Cramér room
2026-10-09T15:00:00.000+02:00 2026-10-09T16:00:00.000+02:00 Yaël Dillies: Maths formalisation in the age of AI: What the working mathematician should know about Lean (Seminarium, Övrigt) Albano, Cramér room (KTH, Stockholm, Sweden)Yaël Dillies: Maths formalisation in the age of AI: What the working mathematician should know about Lean (Seminarium, Övrigt)