Advent of Code

My current solutions of Advent of Code in Lean: they are all in Advents.

So far, this repository contains only (partial) solutions to the 2021, 2023 and 2024 editions.

Obviously, if you go to the files with code, there will be spoilers!

The files directly linked from this page should contain virtually no spoilers, except possibly a description of

  • the 2021 questions,
  • the 2023 questions,
  • the 2024 questions,

that involves some parsing of the given text.

As soon as you navigate to a page that is not linked from here, you will likely find spoilers and complete solutions!


Open in Gitpod