w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	0a14244eb3	gist intro Some checks failed Build latex and deploy / checkout (push) Failing after 17m58s Details	2024-01-23 20:56:14 +01:00
Josia Pietsch	e962b1a314	thank you, Mirko! Some checks failed Build latex and deploy / checkout (push) Failing after 13m20s Details	2024-01-09 23:03:24 +01:00
Josia Pietsch	a7c3cd0d3b	tutorial 1	2023-10-19 16:59:53 +02:00
Josia Pietsch	8359683da6	initial commit	2023-10-13 23:54:02 +02:00