_\/_
     /\
     /\
    /  \
    /~~\o
   /o   \
  /~~*~~~\
 o/    o \
 /~~~~~~~~\~`
/__*_______\
     ||
   \====/
    \__/

Lean Advent of Code 2025

To run the code, you need to have a Lean toolchain installed.

The update the dependencies with: lake update.

And run the code: lake exe lean-adventofcode-2025.