josia-notes/w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	3d9d71fbd3	updated proof on diagonal intersection Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2024-01-16 00:06:50 +01:00
Josia Pietsch	42af65da7a	lecture 16	2023-12-11 15:45:36 +01:00
Josia Pietsch	ede97ee426	lecture 15 Some checks failed Build latex and deploy / checkout (push) Failing after 13m8s Details	2023-12-07 15:54:40 +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	b26a6ae0ab	lecture 14	2023-12-04 15:46:30 +01:00