/2024/lean/

• ../
• Main.lean
• Solutions
• lakefile.toml