w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	326cca0e54	lecture 23 Some checks failed Build latex and deploy / checkout (push) Failing after 15m3s Details	2024-01-25 15:35:02 +01:00
Josia Pietsch	8eba654cdc	thank you! Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2023-12-15 19:03:29 +01:00
Josia Pietsch	bc24bdab44	Suggestions by Mirko (pages 1 - 18), thank you! Some checks failed Build latex and deploy / checkout (push) Failing after 11m25s Details	2023-12-03 02:50:36 +01:00
Josia Pietsch	535bfd1b37	initial commit	2023-10-16 16:24:38 +02:00