w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	ab14be172f	some small changes Some checks failed Build latex and deploy / checkout (push) Failing after 14m16s Details	2024-02-16 19:47:21 +01:00
Josia Pietsch	858e017a4a	gist complete Some checks failed Build latex and deploy / checkout (push) Failing after 14m50s Details	2024-02-14 23:19:23 +01:00
Josia Pietsch	11ca6cd6ae	lecture 22 Some checks failed Build latex and deploy / checkout (push) Failing after 14m14s Details	2024-01-22 15:54:52 +01:00