7 Commits

Author	SHA1	Message	Date
brackenhofer	07dfa95c9c	Kleine Tippfehler ausgemerzt	2025-05-02 18:25:17 +02:00
Stefan Kebekus	bd2fd06b37	Add proof	2025-04-24 10:59:46 +02:00
Stefan Kebekus	edec21e4a2	Clean up first lectures	2025-04-09 13:06:20 +02:00
Stefan Kebekus	7cc1d81292	Add spell checker	2025-04-07 13:39:49 +02:00
Stefan Kebekus	a9ca7eacbd	Fix typo	2025-04-07 13:31:44 +02:00
Stefan Kebekus	0fed897098	Cleanup	2025-04-07 13:20:44 +02:00
Stefan Kebekus	0ebca45962	Add files	2025-04-07 13:07:38 +02:00