en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Interactive Theorem Proving
introduction
lecturers
slides
Interactive Theorem Proving
master program
VU3 SS 2022
703314
Lecturer
room
consultation hours
VU
Cezary Kaliszyk
3M12
Wednesday
11:15 – 12:45