w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	99ca39e52c	lecture 18, 19 Some checks failed Build latex and deploy / checkout (push) Failing after 16m57s Details	2024-01-04 19:26:34 +01:00
Josia Pietsch	ca0594ea69	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 13m6s Details	2023-12-09 18:23:59 +01:00
Josia Pietsch	ab088dd877	moved definitions Some checks failed Build latex and deploy / checkout (push) Failing after 12m42s Details	2023-12-09 02:29:22 +01:00
Josia Pietsch	e203c901e1	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 15m0s Details	2023-12-08 16:57:51 +01:00