josia-notes/w23-logic-2

Author	SHA1	Message	Date
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