Material zum Programmierpraktikum 2019
Supportive material for the interactive lectures on „Verified Functional Programming“