I am tutor for the course Advanced Functional Programming [SS22][SS23][SS24][SS25], professor Jens Knoop. In particular, I maintain the final project, MiniCheck.
