News
Added chapter 8.8 to the reading of 1.7. (next week)
Written on 22.06.2022 12:08 by Michael Sammler
Hi everyone,
we decided to add chapter 8.8 to the reading for 1.7. (i.e. next week) as its topic is important for many CS and logic applications. The main page of the CMS has been updated accordingly.