News
Results of the Main Exam
Written on 08.08.2025 15:38 by Arthur Correnson
Dear all,
The results of the final exam are now online!
Have a nice weekend!
Coinductive Proofs
Arthur Correnson, Bernd Finkbeiner
Written on 08.08.2025 15:38 by Arthur Correnson
Dear all,
The results of the final exam are now online!
Have a nice weekend!