en | de

Interactive Theorem Proving

master program

VU3  SS 2022  703314

Lecturer

room consultation hours
VU Cezary Kaliszyk 3M12 Wednesday11:15 – 12:45