Course start
Fri 24 January - Fri 31 January
-
Course start
Monday 2025-01-27, 15:30
Participating: Peter LeFanu Lumsdaine, Anders Mörtberg
Location: Cramérrummet
2025-01-27T15:30:00.000+01:00 2025-01-27T15:30:00.000+01:00 Peter LeFanu Lumsdaine, Anders Mörtberg: PhD course: Computer Formalisation of Mathematics (Course start) Cramérrummet (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine, Anders Mörtberg: PhD course: Computer Formalisation of Mathematics (Course start)