News
No Lecture Next Week
Written on 25.04.2025 19:53 by Arthur Correnson
Hi all!
This is a reminder that there will be no lecture next Tuesday (April 29).
We will however still offer a tutorial session next Friday (May 2nd).
Have a nice weekend!
Coinductive Proofs
Arthur Correnson, Bernd Finkbeiner