9 Commits

Author	SHA1	Message	Date
janishutz	3b8d85523b	[PS] Intro: Probably (lol) catch up	2026-02-22 16:14:49 +01:00
janishutz	cdb7d46f22	[PS] Intro: Examples, properties	2026-02-22 12:16:26 +01:00
janishutz	08a1324efe	[PS] Continue introduction	2026-02-21 19:54:49 +01:00
janishutz	ec39c30933	[PS] Start summarizing	2026-02-21 18:10:53 +01:00
janishutz	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
janishutz	5985ff216b	[PS] Setup	2026-02-18 13:45:28 +01:00
RobinB27	f341377757	[PS] setup	2026-02-18 13:01:42 +01:00
janishutz	84338a6df1	[Sem4] Set up	2026-02-18 07:53:21 +01:00