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	11f21af966	thank you, Mirko!	2024-02-14 13:35:06 +01:00
Josia Pietsch	deaf6a6bb6	silver (unfinished gist) Some checks failed Build latex and deploy / checkout (push) Failing after 15m15s Details	2024-02-14 02:06:55 +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	9b625846ec	19 All checks were successful Build latex and deploy / checkout (push) Successful in 2m0s Details	2024-01-13 03:50:51 +01:00
Josia Pietsch	8f00d7998b	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 15m9s Details	2023-12-15 05:26:57 +01:00
Josia Pietsch	2b1296255b	Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Some checks failed Build latex and deploy / checkout (push) Failing after 11m0s Details	2023-12-04 15:46:40 +01:00
Josia Pietsch	b26a6ae0ab	lecture 14	2023-12-04 15:46:30 +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	97757443c4	13 Some checks failed Build latex and deploy / checkout (push) Failing after 13m35s Details	2023-11-30 15:54:02 +01:00