24 Commits

Author	SHA1	Message	Date
Janis Hutz	0a8462e1b7	[PS] More fixes	2026-03-01 09:55:51 +01:00
Janis Hutz	d02ddf44dc	[PS] Fix more errors	2026-02-28 20:47:26 +01:00
Janis Hutz	0af2aeaa08	[PS] Fix error	2026-02-28 19:55:35 +01:00
Janis Hutz	00b0bdfb60	[DMDB] Some notes	2026-02-28 18:04:32 +01:00
Janis Hutz	6216dc0691	[FMFP] Somewhat caught up	2026-02-28 15:40:38 +01:00
Janis Hutz	c079e88fe9	[FMFP] Mostly summarized formal reasoning	2026-02-28 15:21:27 +01:00
Janis Hutz	9d72814b56	[FMFP] Start summary	2026-02-27 17:11:45 +01:00
Janis Hutz	18734a18b6	[DMDB] Finish set up	2026-02-26 16:31:00 +01:00
Janis Hutz	3c74897809	[CN] Set up	2026-02-26 14:10:22 +01:00
Janis Hutz	02a96609a8	[FMFP] Set up	2026-02-26 14:10:19 +01:00
Janis Hutz	9f00357165	[DMDB] Set up	2026-02-26 14:10:14 +01:00
Janis Hutz	77f3af0246	[PS] Almost caught up	2026-02-25 19:46:07 +01:00
Janis Hutz	10b06ac97c	[Sem4] Update to new helpers	2026-02-25 09:17:34 +01:00
RobinB27	2d48c0fd16	[PS] ch. 1	2026-02-23 14:56:27 +01:00
Janis Hutz	383d26adc6	[PS] Intro: Independence and finish	2026-02-23 07:55:56 +01:00
Janis Hutz	3b8d85523b	[PS] Intro: Probably (lol) catch up	2026-02-22 16:14:49 +01:00
Janis Hutz	cdb7d46f22	[PS] Intro: Examples, properties	2026-02-22 12:16:26 +01:00
Janis Hutz	08a1324efe	[PS] Continue introduction	2026-02-21 19:54:49 +01:00
Janis Hutz	ec39c30933	[PS] Start summarizing	2026-02-21 18:10:53 +01:00
Janis Hutz	4a550514fe	[PS] Move to new helpers (WIP)	2026-02-19 19:49:51 +01:00
RobinB27	3c84f36c3e	[PS] basics	2026-02-18 14:30:09 +01:00
Janis Hutz	5985ff216b	[PS] Setup	2026-02-18 13:45:28 +01:00
RobinB27	f341377757	[PS] setup	2026-02-18 13:01:42 +01:00
Janis Hutz	84338a6df1	[Sem4] Set up	2026-02-18 07:53:21 +01:00