News
Reminder Office Hour + Re-Exam
Written on 22.09.2025 15:23 by Iona Kuhn
Hi all!
Just a quick reminder that the office hour is tomorrow from 10am to 12pm at 0.07 in C0 (CISPA).
Also, today is the deadline for registering for the re-exam!
Coinductive Proofs
Arthur Correnson, Bernd Finkbeiner