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