Seminar, other
Sat 26 September - Wed 30 September
-
Seminar, other
Tuesday 2026-09-29, 15:15 - 16:00
Participating: Isabel Dahlgren (KTH)
Location: KTH, Room D2
2026-09-29T15:15:00.000+02:00 2026-09-29T16:00:00.000+02:00 Isabel Dahlgren: Lean for the Working Mathematician (for KTH) (Seminar, other) KTH, Room D2 (KTH, Stockholm, Sweden)Isabel Dahlgren: Lean for the Working Mathematician (for KTH) (Seminar, other)