5 Commits

Author	SHA1	Message	Date
Stefan Kebekus	639481f8c0	Typos	2025-06-24 13:53:37 +02:00
Stefan Kebekus	37b91c5e02	Working	2025-06-23 15:13:56 +02:00
Stefan Kebekus	bd2fd06b37	Add proof	2025-04-24 10:59:46 +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