Cleanup

2025-09-26 13:55:48 +02:00 · 2025-09-25 16:45:06 +02:00 · 2025-09-25 16:45:06 +02:00 · 2025-09-25 16:45:06 +02:00 · 2025-09-25 16:45:06 +02:00 · 2025-09-26 10:08:15 +02:00
diff --git a/Markus Himmel b/Markus Himmel
Markus Himmel 35a482f5d5 Cleanup		2025-09-26 13:55:48 +02:00
.github/workflows	Initial commit	2025-09-25 16:45:06 +02:00
.gitignore	Initial commit	2025-09-25 16:45:06 +02:00
lake-manifest.json	Initial commit	2025-09-25 16:45:06 +02:00
lakefile.toml	Initial commit	2025-09-25 16:45:06 +02:00
lean-toolchain	Update toolchain	2025-09-26 10:08:15 +02:00
LICENSE	Initial commit	2025-09-25 16:45:06 +02:00
Main.lean	Cleanup	2025-09-26 13:55:48 +02:00
README.md	Initial commit	2025-09-25 16:45:06 +02:00