w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	bc8b5a8b6c	more gist Some checks failed Build latex and deploy / checkout (push) Failing after 15m14s Details	2024-02-07 22:48:53 +01:00
Josia Pietsch	415ff41b60	Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Some checks failed Build latex and deploy / checkout (push) Has been cancelled Details	2024-02-06 15:11:38 +01:00
Josia Pietsch	30701555de	more details	2024-02-06 15:11:31 +01:00
Josia Pietsch	236874b1a5	some small changes	2024-02-04 01:36:10 +01:00
Josia Pietsch	5ed13d630f	additional tutorial	2024-02-02 01:48:47 +01:00
Josia Pietsch	68a7e9d428	fixed typo Some checks failed Build latex and deploy / checkout (push) Failing after 1m4s Details	2024-01-23 21:55:41 +01:00
Josia Pietsch	c986475c77	gist for lectures 1-4 Some checks failed Build latex and deploy / checkout (push) Failing after 1m4s Details	2024-01-23 21:52:45 +01:00
Josia Pietsch	62fcb59f94	tutorial 10	2024-01-09 20:23:57 +01:00
Josia Pietsch	8038e2baeb	tutorial Some checks failed Build latex and deploy / checkout (push) Failing after 15m34s Details	2023-12-05 18:13:30 +01:00
Josia Pietsch	3bb3c4e75d	lecture 4	2023-10-20 11:53:35 +02:00
Josia Pietsch	66b7b06200	Lecture 03	2023-10-17 16:21:02 +02:00
Josia Pietsch	00cf1a93e7	Lecture 3	2023-10-17 13:08:17 +02:00
Josia Pietsch	394cc8ddcf	Lecture 3	2023-10-17 11:56:32 +02:00