Functional Data Structures

Chair for Logic and Verification



Until we can all meet safely in the classroom again, all lectures are will be replaced by video recordings of the same. We will use a mixture of TTT recordings from previous years and new recordings and live sessions. For each Friday (when the lecture would take place) we list which recordings to watch and what to read up to that date:

Part I, Introduction to Isabelle:

Part II, Functional Data Structures: