w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	11f21af966	thank you, Mirko!	2024-02-14 13:35:06 +01:00
Josia Pietsch	ebdf929dd7	some small changes, gist Some checks failed Build latex and deploy / checkout (push) Failing after 16m11s Details	2024-02-13 02:00:58 +01:00
Josia Pietsch	8ce92917ed	small changes	2024-01-10 22:22:28 +01:00
Josia Pietsch	6936663173	lecture 09 Some checks failed Build latex and deploy / checkout (push) Failing after 13m28s Details	2023-11-16 15:38:46 +01:00