News
Exam
Written on 06.08.2025 17:48 by Arthur Correnson
Dear all,
Just a quick reminder that the exam will be tomorrow in E1.3 HS002.
The exam will start at 2:15, so please arrive a few minutes before ^^.
See you tomorrow!
Coinductive Proofs
Arthur Correnson, Bernd Finkbeiner