/2024/lean/Solutions/

• ../
• Day01.lean