w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	9956de5277	yaref dependencies Some checks failed Build latex and deploy / checkout (push) Failing after 15m58s Details	2024-02-16 23:28:14 +01:00
Josia Pietsch	f4626be14b	some changes Some checks failed Build latex and deploy / checkout (push) Failing after 17m22s Details	2024-02-15 04:44:48 +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	68280c4b70	typo Some checks failed Build latex and deploy / checkout (push) Failing after 15m24s Details	2023-12-04 16:07:22 +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	0771440511	some fixes All checks were successful Build latex and deploy / checkout (push) Successful in 1m12s Details	2023-11-13 19:42:48 +01:00
Josia Pietsch	10313b35f1	Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Some checks failed Build latex and deploy / checkout (push) Failing after 14m10s Details	2023-10-25 15:37:34 +02:00
Josia Pietsch	5f1f4c9fe9	fix	2023-10-25 15:37:22 +02:00
Josia Pietsch	fb2c5b2715	fixed label Some checks failed Build latex and deploy / checkout (push) Failing after 13m17s Details	2023-10-24 10:48:41 +02:00
Josia Pietsch	4a27324442	fixed label All checks were successful Build latex and deploy / checkout (push) Successful in 1m6s Details	2023-10-24 10:34:43 +02:00
Josia Pietsch	1860f988c2	lecture 03 All checks were successful Build latex and deploy / checkout (push) Successful in 1m8s Details	2023-10-23 23:45:24 +02:00
Josia Pietsch	ad39e2ac6d	03 beginning All checks were successful Build latex and deploy / checkout (push) Successful in 1m5s Details	2023-10-23 22:43:31 +02:00

12 Commits