3 ms·
Sadly this module has been killed by the department and is no longer available to students
by jdn 13y ago
Sadly this module has been killed by the department and is no longer available to students
- mietek 13y agoDo you know what's the backstory?
- jdn 13y agoTo the killing? It was partly replaced by G52IFR, which focuses on Coq, and also partly because the university seems to enjoy killing off modules from departments that don't do HCI. Human-computer interaction is currently eating the department.