Seminar, Computational Mathematics
Mon 14 November - Sun 20 November
-
Seminar, Computational Mathematics
Wednesday 2022-11-16, 13:30 - 14:15
Participating: Axel Ljungström
Location: Albano, Cramer room
2022-11-16T13:30:00.000+01:00 2022-11-16T14:15:00.000+01:00 Axel Ljungström: Introduction to Agda (Seminar, Computational Mathematics) Albano, Cramer room (KTH, Stockholm, Sweden)Axel Ljungström: Introduction to Agda (Seminar, Computational Mathematics)