News
Sample Solution for Problem Set 1 Problem 3
Written on 08.05.2025 14:19 by Iona Kuhn
Dear students,
we just published a sample solution for Problem 3 on Problem Set 1. This is an important exercise showcasing coinduction and induction, which we discussed in the last two tutorials. Please feel free to reach out if you have further questions about it.
See you tomorrow in the tutorial!