6 Commits

Author	SHA1	Message	Date
Janis Hutz	948bc1f567	[FMFP] Correctness	2026-03-02 17:01:01 +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	10b06ac97c	[Sem4] Update to new helpers	2026-02-25 09:17:34 +01:00
Janis Hutz	84338a6df1	[Sem4] Set up	2026-02-18 07:53:21 +01:00