Theorem Proving

Lecture: Wednesday, 12-14, Room 139
Exercise: Wednesday, 14-16, Room 139

Summary

(The description in Zapisow is outdated) The schedule below is from a previous year. There will be significant changes.

(Outdated) Schedule

Exercises