josia-notes/w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	c1316d8bb5	fixed typos Some checks failed Build latex and deploy / checkout (push) Failing after 17m3s Details	2023-12-08 01:42:08 +01:00
Josia Pietsch	daec11591d	lecture 15 Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2023-12-08 01:39:20 +01:00
Josia Pietsch	9a6205136a	tutorials	2023-12-05 17:14:51 +01:00